algebraic-data-types 相关问题

代数数据类型是由求和，产品和递归类型构建的数据结构，允许代数。可以象征性地操纵作为ADT给出的类型的描述以导出其他相关数据结构。代数建立类型的逻辑与组合数学中的组合物种有关。

如何在Haskell中创建ADT？

在Scala中我可以描述这样的ADT：密封特征Foo案例类A（a：Int）扩展Foo案例类B（b：String）扩展Foo案例类C（a：A，b：B）扩展Foo我该如何做在Haskell中一样吗？数据......

scala haskell algebraic-data-types

回答 1 投票 16

在Python中定义代数数据类型的最佳方法？

我知道Python不是Haskell或Ocaml，但这是在Python（2或3）中定义代数数据类型的最佳方法吗？谢谢！

python algebraic-data-types

回答 3 投票 26

使用代数数据类型组合列表

我试图理解创建的代数数据类型的语法。我创建的类型是[Int]或Empty，类似于Just with Just和Nothing，除了Just必须是Int列表。 ...

haskell recursion pattern-matching algebraic-data-types

回答 2 投票 0

替代代数数据类型，在记录语法中有许多构造函数

我有一个自定义数据类型，包含景观元素（云，太阳，山等）。我需要有一个列表，所以我不能使用不同的类型和一个常见的类型类。他们分享了大部分......

haskell record algebraic-data-types

回答 2 投票 2

类型之间的+操作数是什么意思？

这个例子来自core :: any使用std :: fmt :: Debug;使用std :: any :: Any; //实现Debug的任何类型的Logger函数。日志（值：＆T）{let value_any = ...

rust algebraic-data-types static-typing

回答 1 投票 1

代数类型 - Haskell

我正在研究Haskell中的代数类型，从工作表中进行一些练习。我得到了以下练习：定义代数类型Point表示（坐标）...

haskell algebraic-data-types

回答 3 投票 3

为什么我可以使用带有记录语法的Maybe，但不能使用常规的ADT语法？

我正在Haskell中编写一些数据类型来表示正式的英语语法。数据S = NP VP到目前为止，句子只是名词短语和动词短语。惊叹于......的优雅之美

haskell algebraic-data-types

回答 2 投票 0

ADT上的Scala模式匹配可能无法在无法访问的代码上发出警告

我有一个简单的ADT（代数数据类型）编码为：密封特征TrafficLight案例对象红色扩展TrafficLight案例对象绿色扩展TrafficLight案例对象黄色扩展TrafficLight ...

scala pattern-matching algebraic-data-types

回答 1 投票 3

Haskell中有限域的数据类型？

我试图通过在有限（Galois）场上编写一小组函数来学习一些Haskell。几年前我为计算机编写了第一个类似的库...

haskell algebraic-data-types galois-field

回答 2 投票 4

在GraphQL中表示枚举+对象变体类型

是否有最佳实践来表示变量字段，该字段可以是具有子字段的对象，也可以是一个或多个类似枚举的单例值？就像，如果只有一个单例值，可以为空......

enums graphql algebraic-data-types discriminated-union

回答 3 投票 1

Scala中的容器代数数据类型

不太熟悉Scala的类型系统，但这就是我想要做的。我有一个功能，试图按名字和姓氏过滤人，如果失败只按名字过滤。 ...

scala scala-collections algebraic-data-types

回答 1 投票 1

模式匹配标记的联合类型

我有一个标记的联合类型，包含一些记录数据，如类型Comment = New Content |编辑内容|标记内容类型别名Content = {id：Int，text：String}其中Comment类型...

elm algebraic-data-types

回答 2 投票 2

为什么我不能在不同的数据类型中重用相同的值构造函数？

我是Haskell的新手，可能在这里遗漏了一些非常基本的东西，但是我无法在不同的数据类型中重用相同的值构造函数。数据颜色=红色|粉红色|橙色|黄色数据......

haskell algebraic-data-types user-defined-data-types value-constructor

回答 2 投票 2

如何自动在SML中构造有序数据类型

我想知道是否有任何方法可以创建一个函数，给定一个名称/标识符列表，例如[星期一，星期二......]，自动创建数据类型day = Monday |星期二| ......还有......

metaprogramming sml smlnj algebraic-data-types

回答 1 投票 2

algebraic-data-types 相关问题

最新问题