blocks|key|2658416|text|我认为标准的方法是创建一个联合类型，其中每个选项的类型都是一个空记录：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2658417|$+dhall+>+SumProp+<<EOF
<+option1+:+{}+%7C+option2+:+{}+>
EOF|code-block|syntax|javascript|2658418|此类型允许以下值：|2658419|<+option1+=+{=}+%7C+option2+:+{}+>
<+option2+=+{=}+%7C+option1+:+{}+>|2658420|尽管您显然希望将它们命名为方便的名称，如option1和option2|offset|length|style|CODE|2658421|$+dhall+>+option1+<<EOF
<+option1+=+{=}+%7C+option2+:+{}+>
EOF
$+dhall+>+option2+<<EOF
<+option2+=+{=}+%7C+option1+:+{}+>
EOF|2658422|如果您搜索OperatingSystem类型的定义，Gabriel+Gonzalez+Typed+Nix+programming+using+Dhall+撰写的这篇博客文章包含了一个示例。|2658423|entityMap|0|LINK|mutability|MUTABLE|url|http://www.haskellforall.com/2017/01/typed-nix-programming-using-dhall.html^0|0|0|0|0|K|7|S|7|0|0|5|F|17|Y|0|0^^$0|@$1|2|3|4|5|6|7|12|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|13|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|14|8|@]|9|@]|A|$]]|$1|I|3|J|5|D|7|15|8|@]|9|@]|A|$E|F]]|$1|K|3|L|5|6|7|16|8|@$M|17|N|18|O|P]|$M|19|N|1A|O|P]]|9|@]|A|$]]|$1|Q|3|R|5|D|7|1B|8|@]|9|@]|A|$E|F]]|$1|S|3|T|5|6|7|1C|8|@$M|1D|N|1E|O|P]]|9|@$M|1F|N|1G|1|1H]]|A|$]]|$1|U|3|-4|5|6|7|1I|8|@]|9|@]|A|$]]]|V|$W|$5|X|Y|Z|A|$10|11]]]]

I believe the standard way this is done is by creating a union type where each option's type is an empty record:

<pre><code>$ dhall &gt; SumProp &lt;&lt;EOF
&lt; option1 : {} | option2 : {} &gt;
EOF
</code></pre>

This type permits the values:

<pre><code>&lt; option1 = {=} | option2 : {} &gt;
&lt; option2 = {=} | option1 : {} &gt;
</code></pre>

though you'll obviously want to name these something convenient like <code>option1</code> and <code>option2</code>:

<pre><code>$ dhall &gt; option1 &lt;&lt;EOF
&lt; option1 = {=} | option2 : {} &gt;
EOF
$ dhall &gt; option2 &lt;&lt;EOF
&lt; option2 = {=} | option1 : {} &gt;
EOF
</code></pre>

This blog article by Gabriel Gonzalez <a href="http://www.haskellforall.com/2017/01/typed-nix-programming-using-dhall.html" rel="noreferrer">Typed Nix programming using Dhall </a> includes an example, if you search for the definition of the type <code>OperatingSystem</code>.

How can I define a sum type analogous to Haskell's sum types in the Dhall programming language?

For instance, if in Haskell I'd define

<pre><code>data SumProp = Option1 | Option2
</code></pre>

My purpose is to define in Dhall a record in which one of its properties has a limited set of possible values:

<pre><code>\(sumPropValue : SumProp) -&gt; { value = sumPropValue }
</code></pre>

How to define and use a Haskell-like sum type in Dhall

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

如何在Dhall编程语言中定义类似于Haskell的sum类型的sum类型？例如，如果在Haskell中我定义data SumProp = Option1 | Option2我的目的是在Dhall中定义一个记录，其中它的一个属性具有一组有限的可能值：\(sumPropValue : SumProp) -> { valu...

如何在Dhall中定义和使用类似Haskell的sum类型-腾讯云开发者社区-腾讯云

问如何在Dhall中定义和使用类似Haskell的sum类型
EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何在Dhall中定义和使用类似Haskell的sum类型EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何在Dhall中定义和使用类似Haskell的sum类型
EN