滥用代数数据类型的代数 - 为什么这样做?
代数数据类型的“代数"表达式对于具有数学背景的人来说非常具有启发性.让我试着解释一下我的意思. 定义基本类型 产品• 联合+ 单例X 单元 1 并使用速记 X² 表示 X•X 和 2X 表示 X+X 等等，我们然后可以定义代数表达式，例如链表 data List a = Nil |Cons a (List a) ↔ L = 1 + X • L 和二叉树:
..
miranda相关内容
滥用代数数据类型的代数 - 为什么这会起作用？
代数数据类型的“代数”表达式对于具有数学背景的人来说看起来非常具有启发性。让我试着解释我的意思。 定义了基本类型 产品• 联盟 + 单身 X 单位 1 并使用简写X²用于 X•X X + X 等，我们可以定义代数表达式，例如c>和 2X 链接列表 数据List a = Nil |缺点a（列表a）↔ L = 1 + X•L 和二叉树： 数据树a =无|分支a
..