当前分类：algebraic-data-types

haskell - 没有构造函数的代数数据类型的目的是什么？

haskell - 如何使我的 Haskell 函数尽可能短？

ADT 上的 Scala 模式匹配可能不会对无法访问的代码发出警告

list - 如何连接两个 Snoc 列表？

haskell - 如何在数据类型中存储多态函数

types - OCaml 在不相交的联合中有记录语法吗？

haskell - OCaml 中的相互递归类型

c++ - 获取变体的值，它本身可能是另一个变体

haskell - 如何使用记录设计扩展

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

scala - 向 Scala 案例类添加方法是个好主意吗

functional-programming - 在 OCaml 中使用 GADT 时，如何删除函数上的 'less general definition' 错误消息？

Haskell:更好地理解代数数据类型

scala ADTs via sealed traits - 有没有办法以通用方式从字符串反序列化

agda - 在 Agda 中是否可以定义具有方程的数据类型？

scala - 在 Scalaz 中将 Free 与非仿函数一起使用

haskell - 代数类型 - Haskell

haskell - 构造具有多个字段的 Haskell 数据类型

scala - 如何在Scala中为树代数数据类型的叶子调用构造函数？

haskell - 定义 Haskell 类型构造函数相等？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们