algebraic-data-types 相关问题

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

在scala ADT中有案例对象是一种好习惯吗？

假设在斯卡拉，我有一个ADT如下：密封特征动物对象动物{案例类Lion（name：String）扩展了动物案例类Elephant（name：String）扩展了Animal案例对象Tiger ...

scala singleton algebraic-data-types

回答 1 投票 1

C ++嵌套类，它从外部类继承；不允许输入不完整的类型

在kotlin中，有一种设计模式，您可以使用密封的类来模拟具有关联值的快速枚举，并使用嵌套类从其继承https：//medium.com/@da_pacheco/using -...] >

c++ enums algebraic-data-types

回答 1 投票 3

对于在Semmle QL中具有参数的代数数据类型，写入toString（）

阅读了有关QL中对代数数据类型的支持后，我试图在lgtm控制台中定义List类型：newtype TList = TNil（）或TCons（int x，TList xs）似乎可行。但是后来我...

algebraic-data-types semmle-ql

回答 1 投票 0

Scala：精代数数据类型

o /这可能是一个非常有趣的问题，并且可能会激发您的创造力。我想以一种可以对货币建模的方式：对类型进行模式匹配（=>代数数据...

scala pattern-matching algebraic-data-types

回答 1 投票 0

Infix模式匹配

[我在Haskell编程时有时遇到的一个问题是有时我想将一个模式与一个值进行匹配，但是我只对有关值是否与...相匹配的真假信息感兴趣]]

haskell functional-programming algebraic-data-types

回答 3 投票 1

类型构造函数作为返回类型

在Scala中，我可以定义一个代数数据类型：scala>密封的特征Maybe [A]定义的特征Maybe scala> case类Just [A]（x：A）扩展了Maybe [A]定义的类Just scala> case对象。 ..

scala haskell return-type algebraic-data-types type-constructor

回答 2 投票 7

在Spark数据集中添加ADT列？

<<< [

scala apache-spark apache-spark-dataset algebraic-data-types apache-spark-encoders

回答 1 投票 0

C ++可以通过std :: variant获得当前类型的std :: typeindex

我如何通过c ++中的一个变体获取当前帮助类型的std :: typeindex？说我有一个变体：使用variant_t = std :: variant ;我想...

c++ reflection variant crtp algebraic-data-types

回答 1 投票 0

是否可以在运行时生成和执行Rust代码？

使用C，在运行时，我可以：创建函数的源代码，调出gcc将其编译为.so（Linux）（或使用llvm等），加载.so，然后调用功能。是否有可能发生类似的事情...

c rust algebraic-data-types

回答 2 投票 20

如何将参数限制为变量类型的一个变量

假设我有两种类型，Vector2D和Vector3D，它们被标记了（这是正确的术语，对吗？，我想编写一个仅对Vector2D起作用的函数（或者vector（two）更正确...） >

pattern-matching ocaml algebraic-data-types gadt reason

回答 1 投票 0

自定义ZipList的实现适用

haskell typeclass applicative algebraic-data-types custom-data-type

回答 2 投票 3

从sop-core更新具有兼容总和的n元乘积

我正在使用sop-core库，我想编写以下类型的函数：patch :: NS I xs-> NP Maybe xs-> NP Maybe xs是类型的类型列表像'[[Int，Char，...

haskell algebraic-data-types type-level-computation

回答 1 投票 1

为什么总和可以在代数数据类型中视为正常形式？

我正在阅读haskell书（第412页）。本书对乘积和的正规形式进行了解释：乘积和之和的所有现有代数规则都适用于类型系统，...

haskell functional-programming algebraic-data-types

回答 1 投票 0

是否可以创建其中几个属性是可选的，但必须存在至少一个属性的接口？

使用联合类型时，通常最简单的做法是使用带标签的联合创建ADT。但是，有时这是不可能的。一个典型的例子是React Router的

typescript algebraic-data-types

回答 1 投票 0

无法将参数化的类型与后模式匹配的具体类型相匹配

使用阶2.12.8这不会编译而不会流延：性状内容的情况下对象A延伸的内容的情况下的B类（ⅰ：智力）延伸内容DEF asList [C

scala pattern-matching type-parameter algebraic-data-types

回答 3 投票 1

如何在ADT上定义多态比较？

多态比较函数可用于实例化OCaml预定义仿函数（Map.Make，Set.Make，...）。在这种情况下，我们只需要知道它的行为就像一个订单，但它可能是有用的......

comparison ocaml algebraic-data-types

回答 1 投票 1

Fmap在包含单个元素和列表的列表上

我有一个数据结构，如数据ShoppingList an = Empty |项目a项目列表[购物清单a]派生（显示）我正在尝试为此实例编写Fmap Functor ShoppingList ...

haskell compiler-errors functor type-mismatch algebraic-data-types

回答 1 投票 1

是否有一种不那么冗长的方式来打开只有一个标签的类型？

是否有一种不那么冗长的方式来打开只有一个标签的类型，例如目前我做的主题是TheTag arg - > foo，但我认为编译器应该足够聪明才能知道......

pattern-matching elm algebraic-data-types

回答 2 投票 0

如何从联合类型中解包泛型类型别名，使类型别名更具体？

我有类型Model，它描述了泛型类型别名ModelFields的两种可能状态。我想从Model类型的实例中提取通用ModelFields记录。 type model endValue ...

types elm algebraic-data-types unification parametric-polymorphism

回答 1 投票 1

如何从自定义类型的多个变体中提取值？

我有一个类型，类型Post = Blog String String |公告字符串字符串和函数类似，upcaseTitle：Post - > post upcaseTitle post =博客标题的案例帖子...

pattern-matching elm algebraic-data-types

回答 1 投票 1

algebraic-data-types 相关问题

最新问题