algebraic-data-types 相关问题

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

在 Agda 中，如何定义与以下内容等效的参数化模块？ data Sig : 设置 ℓ 其中 ■ ：排序→签名 ν : Sig → Sig module SortedABT {ℓ}（排序：设置ℓ）（操作：排序→设置ℓ）（sig：...

parameters module agda algebraic-data-types mutual-recursion

回答 1 投票 0

我无法使用 Dafny 证明以下内容： S(x) < S(y) ==> x < y for the datatype of unary numbers with constructors Z and S (here I am only using S). I tried forms of induct...

numbers dafny algebraic-data-types

回答 1 投票 0

当我的所有输入都是整数时，为什么使用 float 而不是 int 会给出不同的结果？

当我的所有输入都是整数时，为什么使用 float 而不是 int 会给出不同的结果？在编程中使用 float 而不是 int 时的结果差异，即使所有输入都是

floating-point integer css-float floating-accuracy algebraic-data-types

回答 2 投票 0

如何在 Python 中定义代数数据类型？

如何在 Python 中定义代数数据类型（2 或 3）？

python algebraic-data-types

回答 5 投票 0

如何在Haskell中列出sum类型的所有值

问题：我想从 Haskell 中的类型生成 HTML 表单。颜色=绿色|黄色|红色的水果 = 苹果颜色 Int |香蕉颜色整数字符串用户应使用 opt...选择下拉列表

haskell algebraic-data-types

回答 1 投票 0

Haskell 错误：预期类型为“* -> *”，但“电影”具有类型“*”

我创建了一个“电影”代数数据类型（根据任务的要求）：数据电影=电影{标题::字符串，导演::字符串，releaseYear::Int} 然后添加一个函子：实例函子...

haskell functor algebraic-data-types

回答 1 投票 0

如何在 TypeScript 中检查产品类型是否详尽？

在 TypeScript 中检查和类型的详尽性非常容易。输入总和= | { 标签： 'num';值：数字 } | { 标签：'str';值：字符串}； const len = (sum: Sum): 数字 => {

typescript pattern-matching destructuring type-safety algebraic-data-types

回答 1 投票 0

Python 中的递归数据类型

Python 中最接近 Haskell 中的递归数据类型的是什么？（即在定义自身时使用类型自己的定义。）编辑：给出更具体的定义...

python haskell type-hinting algebraic-data-types recursive-datastructures

回答 3 投票 0

如何使子类参数在抽象类中可用以在 Scala 中进行模式匹配？

我有一个类和两个案例子类：抽象类 C 案例类 C1（左：C，右：C，权重：Int）扩展 C 案例类 C2(weight: Int) extends C 我想实现类似下面的东西......

scala methods pattern-matching overriding algebraic-data-types

回答 1 投票 0

我应该从功能性编程角度重新命名此代码段中的bailFirst和bailLast函数为什么？

这里的目的是尝试利用函数式编程的关联性。 bailFirst和bailLast可以有更好的名称吗？我认为bailFirst看起来像是求和类型，而bailLast看起来像是...

javascript functional-programming algebraic-data-types

回答 1 投票 0

OCaml中的有序变量类型和子类型

我目前正在尝试在OCaml中进行一些麻将手工处理，从一开始我就直接遇到困扰我的事情。我会给你一些基于卡片的例子，因为我不想...

haskell compare ocaml algebraic-data-types

回答 2 投票 7

过滤代数数据类型列表

我想在haskell中过滤一个代数数据类型列表。因此，例如：data Both = Foo Int Int | Bar Int如果我有此数据类型，我想过滤掉Foos。此函数应...

haskell algebraic-data-types

回答 2 投票 -2

我如何在Ocaml中编写二进制多态变体？

考虑一种类型，例如：type may_int = Just int |没什么＃只有1 ;; -：maybe_int = Just 1这是一个int + 1的和。可以很容易地将其推广为，a，a + 1：键入'a may be = ...

polymorphism ocaml algebraic-data-types parametric-polymorphism union-types

回答 1 投票 0

Dafny中归纳数据类型的表达特性

我在Dafny中定义了一个sigma代数数据类型，如下所示：数据类型Alg =空|补体（a：藻）|联盟（b：阿尔格，c：阿尔格）| Set（s：set ）class test {var S：set ...

properties algebraic-data-types dafny quantifiers

回答 1 投票 0

在Scala无形状库中，是否有一种本机方式将产品类型（HList / Generic / NamedGeneric）转换为等于其Arity的int单例类型？

[我正在尝试找出如何将无形状的特征（单例类型）与另一个特征（HList）相关联，假设我们想派生包含有关Arity信息的泛型类型Vector ...

scala shapeless dependent-type algebraic-data-types

回答 1 投票 1

获取一个变量的值，它本身可能是另一个变量

我有一个使用ScalarVar = std :: variant ;的变体ScalarVar。还有一个变量Var，它本身可以是ScalarVar或使用Var = std :: variant

c++ c++17 template-meta-programming variant algebraic-data-types

回答 2 投票 1

如何在Haskell中建模此可检索结构？

我正在尝试通过Haskell类型系统为kdb / q“原子和列表”建模。在kdb / q中，所有数据都是从原子构建的。原子是特定数据类型的不可约值。 Int，boolean和char ...

haskell kdb algebraic-data-types traversable

回答 1 投票 0

案例对象T与案例类T（）在定义ADT时的区别？

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

scala singleton algebraic-data-types

回答 2 投票 1

在定义ADT时应该声明案例对象T或案例类T（）吗？

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

scala singleton algebraic-data-types

回答 1 投票 1

案例对象T与案例类T（）在定义ADT时的区别？

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

scala singleton algebraic-data-types

回答 1 投票 1

algebraic-data-types 相关问题

最新问题