dhall - Dhall协会名单

Question

我有一个联合类型，我希望一个字段成为关联列表。

let Blah = < First : { name : Text, params: XXX } | Second : { name : Text } >

在这里，我希望params成为一个关联列表，所以当我输入检查记录值时它会通过，例如

Blah.First { name = "Alex", params: [{ mapKey = "a", mapValue = 1 }] }

那么，应该是什么类型XXX呢Blah？

Answer 1

答案取决于关联列表中存储的值的类型。在最一般的情况下，您可以在 的Blah类型上对类型进行参数化mapValue，如下所示：

let Blah =
        λ(a : Type)
      → < First :
            { name : Text, params : List { mapKey : Text, mapValue : a } }
        | Second :
            { name : Text }
        >

in  (Blah Natural).First
    { name = "Alex", params = [ { mapKey = "a", mapValue = 1 } ] }

mapValue如果您提前知道所需的类型，则可以对其进行硬编码，而不是创建Blah一个类型的函数。或者，如果您打算多次使用Blah同一mapValue类型，您可以执行以下操作：

let Blah =
        λ(a : Type)
      → < First :
            { name : Text, params : List { mapKey : Text, mapValue : a } }
        | Second :
            { name : Text }
        >

let Foo = Blah Natural

in  [ Foo.First { name = "Alex", params = [ { mapKey = "a", mapValue = 1 } ] }
    , Foo.Second { name = "John" }
    ]