A
A
Serif
Sans
White
Sepia
Night
首页
文章
267 votes
answers
views
滥用代数数据类型的代数 - 为什么这有效?
代数数据类型的“代数”表达式对于具有数学背景的人来说非常具有启发性 . 让我试着解释一下我的意思 . 定义了基本类型 产品 • 联盟 + Singleton X 单位 1 并使用 X² 用于 X•X 和 2X 用于 X+X 等等,然后我们可以定义代数表达式,例如链表 data List a = Nil | Cons a (List a) ↔ L = 1 + X • L 和二叉...
haskell
functional-programming
ocaml
algebraic-data-types
miranda
热门问题
22299
为什么处理排序数组比处理未排序数组更快?
18633
如何撤消Git中最近提交的提交?
14365
如何在本地和远程删除Git分支?
10549
'git pull'和'git fetch'之间有什么区别?
9402
什么是正确的JSON内容类型?
8739
“yield”关键字有什么作用?
7999
C中的“ - >”运算符是什么?
7746
如何在提交之前撤消'git add'?
7735
如何重定向到其他网页?
7654
JavaScript闭包如何工作?