【发布时间】：2020-10-02 01:59:53
【问题描述】：
我正在寻找一种方法来查看记录类型的字段类型，基本上是 Dhall REPL 中 . 的类型级别等价物
假设我已经完成了：
:let Person = { name : Text, age : Natural }
我如何找到 Person.name 的类型（即Text）不必实例化一个 Person？
如果我创建 Person 类型的术语，例如:let betty : Person = { age = 34, name = "Betty" }，我可以做到:type betty.name，但我正在寻找与之等效的类型级别。
实际用例是在dhall-kubernetes 中查找字段类型，其中包含许多字段的深度嵌套记录。
谢谢，如果我的 Google-fu 失败并且之前有人问过这个问题，我们深表歉意。
【问题讨论】：
标签： dhall