我希望在dhall中表示IPv4地址，以便管理我的主机配置。 默认情况下，这被保存为文本；但是很明显这是不令人满意的，因为它允许任何旧文本通过。我想将这些值保留为8位值的4元组。 我认为Dhall不能原生地允许这样做——我能看到的最接近的是{a：自然数，b：自然数}等记录，但这在语法上很笨...

我想在Dhall中代表一个维基（由有向图组成的一组文档）。这些文档将呈现为HTML格式，并且我希望永远不会生成损坏的链接。我认为可以通过使无效图（具有链接到不存在节点的链接）不可表示来实现，也可以编写一个函数来返回任何可能图中的错误列表（例如：“在可能的图X中，节点A包含指向不存在节点B的链接...