Question

我正在寻找一种查看记录类型的字段类型的方法，基本上是Dhall REPL中与.相等的类型级别

假设我已经完成：

:let Person = { name : Text, age : Natural }

我如何找到无需实例化Person的Person.name（即Text）类型？

如果我创建的是Person类型的字词，例如:let betty : Person = { age = 34, name = "Betty" }，我可以做:type betty.name，但我正在寻找与之等效的类型级别。

实际用例是在dhall-kubernetes中查找具有很多字段的嵌套嵌套记录的字段类型。

谢谢，如果我的Google-fu失败，并且已经有人问过了，我深表歉意。

Answer 1

该语言尚不支持此功能，但我刚刚提出了一个跟踪该想法的问题：