Tag: miranda

滥用代数数据types的代数 – 为什么这会起作用？

代数数据types的“代数”expression式对于具有math背景的人来说看起来非常具有启发性。 让我试着解释我的意思。 定义了基本types 产品• 联盟+ 辛格尔顿X 第一单元 对X+X使用简写X²代表X•X和2X ，然后我们可以定义代数expression式，例如链表 data List a = Nil | Cons a (List a) data List a = Nil | Cons a (List a) ↔L L = 1 + X • L 和二叉树： data Tree a = Nil | Branch a (Tree a) (Tree a) data Tree a = Nil […]