algebraic-data-types
-
为什么 Option<NonZeroU32> 不需要使用明确的 Some？
-
GADT 的索引初始代数
-
Haskell 仅具有 nullary 或 unary 构造函数的数据类型是否被视为代数数据类型？
-
通过构造函数比较值
-
如何检查 TypeScript 中产品类型的详尽性？
-
通过 Type 类 将 Sum 类型转换为 Phantom 类型
-
创建class，不带引号表示
-
如何在 GADT 中表示这个 FSM
-
SML 中的数据类型和类型未按预期工作
-
OCaml 中有什么
-
如何为我自己的类型创建实例？
-
Haskell 中的通用模式
-
在 OCaml 中，`'a.` 和 `type a.` 之间有什么区别以及何时使用它们？
-
成分也可以单独使用的求和类型
-
中间件单子？
-
Haskell 中的流数据类型实现
-
为什么我需要在 fmap 的定义中再次调用构造函数，即使我没有应用 f 参数？
-
你如何使用代数球拍解构 let 绑定中的值
-
Haskell 类型构造函数 'just' 是一个函数吗？
-
如何创建一个列表，其中包含对 Haskell 中另一个列表的每个项目的计算？