Dhall Repl：如何获取记录类型的字段类型
Dhall Repl: How to get the type of field of record type
我正在寻找一种方法来查看记录类型的字段类型，基本上是 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 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 失败了并且之前有人问过这个问题，我深表歉意。
该语言还不支持这个，但我刚刚开了一个问题来跟踪这个想法：