当前分类：algebraic-data-types

haskell - 为什么乘积之和可以看作是代数数据类型中的范式？

haskell - Sum Types vs. Type Classes vs. Records

haskell - GADT 的索引初始代数

haskell - Haskell 中是否有一种准确的方法来编码 Foo 的元组，其中某些特定组合是被禁止的？

list - 如何将一个列表压缩到另一个嵌套在 Haskell 中的列表上？

algebraic-data-types - idris 案例/归纳策略

python - Python 中的递归数据类型

arrays - 无法使用 Z3 中的 Array 定义递归类型

functional-programming - 如何在 Kind-Lang 等纯函数式语言中使用代数数据类型对 Int 类型进行编码？

polymorphism - 在 OCaml 中， `' 和 .` and ` 类型 a.` 和何时使用它们之间有什么区别？

parsing - 成分也可以单独使用的求和类型

haskell - 比代数数据类型更喜欢 CPS 的要求是什么？

scala - 在 Scala 中进行模式匹配时类型推断不正确

function - 如何修复此 Haskell 查找函数类型不匹配？

haskell - Haskell 中的流数据类型实现

Haskell:在代数数据类型上有没有 'mapping' 的方法？

haskell - 自然数的初代数

haskell - Haskell 中用于比较列表的 Eq 问题

function - Haskell 类型的构造函数 'just' 是函数吗？

haskell - 在 Scheme (R6RS) 中表示代数数据类型构造函数的惯用方式是什么？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们