首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
algebraic-data-types
generics - 如何将 F# 联合类型的使用限制为特定选项
json - ADT Json序列化/反序列化
pattern-matching - 如何将参数限制为变体类型的仅一种变体
scala - 具有 ADT 和 Aux 模式的类型安全
list - 创建保存另一种数据类型的特定值的数据类型
Haskell:将 `type` 转换为 `data` 语句
haskell - 受歧视类型工会
haskell - 如何在Haskell中列出sum类型的所有值
haskell - Haskell 中的多态场景
types - Agda 中列表的定义
haskell - 如何在 Haskell 中实现数据类型的自定义排序?
elm - 模式匹配嵌套联合类型
haskell - 中缀模式匹配
recursion - 具有递归的 F# 求和类型?
haskell - 检查列表中的所有值是否具有特定的构造函数
list - 我对 Haskell 'length' 函数的重新定义不起作用
racket - 你如何使用代数 Racket 解构 let 绑定(bind)中的值
haskell - 我怎样才能在 Haskell 中简洁地表示异类求和类型?
Haskell——双向类实例类型含义或 GADT 存在类型限定?
algebraic-data-types - 为什么和类型称为和类型?
«
1
2
3
4
5
6
»
热门标签:
编程
数据结构与算法
其他