algebraic-data-types 相关问题

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

如何在当前的 Dart 中编码代数数据类型？

如何对 Dart 中当前的代数数据类型进行编码？代数数据类型也称为： Kotlin 中的密封类 Scala 中的代数数据类型 Rust 中的枚举 Swi 中具有关联值的枚举...

flutter dart algebraic-data-types sealed-class

回答 1 投票 0

如何查看 Typescript 类型的完整扩展合约？

如果我有一个看起来有点像这样的类型集合：类型有效值 = 字符串 |数量 |无效的类型 ValidTypes = "文本" | “时间”| “未知” 类型装饰 = {

typescript visual-studio-code algebraic-data-types

回答 3 投票 0

OCaml 中的 Some 是什么

此 Ocaml 代码遍历列表并输出最后一个元素。我不明白我们输出 Some x 的第二个条件让rec最后=函数 | [] -> 无 | x::[] -> 一些 x | _ :: t ...

functional-programming match ocaml algebraic-data-types option-type

回答 1 投票 0

如何使用 C++ enum+switch 语句进行详尽的编码

问题：当我没有为类型的每个可能值包含分支时，如何让编译器警告我？当我使用可能获得值的类型进行编码时，这一点尤其重要

c++ compiler-errors algebraic-data-types

回答 1 投票 0

Scala 3，ADT，组合集合中的元素

我是 Scala 新手，正在尝试使用 Scala 3 枚举作为 ADT，并且我有一个集合，我试图通过以下方式“减少”：枚举统计： case MaximumHealth(val x: 浮点数) 案例

scala algebraic-data-types

回答 1 投票 0

参数化数据类型作为模块参数？

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

parameters module agda algebraic-data-types mutual-recursion

回答 1 投票 0

< on unary numbers in Dafny

我无法使用 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

algebraic-data-types 相关问题

最新问题