Dhall协会列表

Question

我有一个Union类型，我希望有一个字段是一个关联列表。

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

在这里，我希望params是一个关联列表，这样当我输入检查记录值时，它就会传递，例如

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

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

Answer 1

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

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成为某个类型的函数。或者，如果您计划对同一mapValue类型多次使用Blah，您可以这样做：

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" }
    ]