问Dhall Repl:如何获得记录类型的字段类型
EN

Stack Overflow用户

提问于 2020-10-02 01:59:53

回答 1查看 273关注 0票数 1

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

假设我已经做了：

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

我如何在不需要实例化一个人的情况下找到Person.name的类型(即Text)？

如果我创建Person类型的术语，例如:let betty : Person = { age = 34, name = "Betty" }，我可以做:type betty.name，但是我正在寻找一个类型级别的等价项。

实际的用例是在dhall-kubernetes中查找字段类型，在这些类型中有许多字段的深度嵌套记录。

谢谢，如果我的Google-fu失败了，我很抱歉，之前也有人问过这个问题。

回答已采纳

发布于 2020-10-03 21:52:52

语言还不支持这一点，但我只是提出了一个问题来跟踪这个想法：

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/64165340

复制

相似问题

问Dhall Repl:如何获得记录类型的字段类型EN