代数数据类型中的代数在函数式语言中意味着什么?

时间:2014-07-31 08:08:06

标签: functional-programming pattern-matching algebraic-data-types

我刚开始学习函数式编程,其中一件我还没有得到的是形容词"代数"在表达式代数数据类型中。

阅读维基百科有关该主题的文章的前几节,我看到链表是这种ADT的一个例子。给出的另一个例子是树木,说实话,我看不到它们中的代数比我在香草中看到的更多代数#34;像玩具例子这样的类的层次结构,比如熟悉的Animal类,比如一个子类Cat,另一个是Dog。例如,我可以使用Scala对所有这些类型进行模式匹配。

那么,我在这里遗失的秘诀是什么?

0 个答案:

没有答案