scala - 抽象数据类型和代数数据类型有什么区别

Question

有人可以告诉我，抽象数据类型和代数数据类型有什么区别？

Answer 1

代数数据类型是由和和乘积(不同的构造函数和具有多个字段的构造函数)组成的类型。抽象数据类型是一种数据类型，其实现由定义的 API 抽象...通常对其实现进行某种封装。

例如，优先级队列是一种抽象数据类型。在内存中，它可能被实现为一个数组，或者堆上分配的单元格，或者使用 C 中的结构，或者莎士比亚十四行诗。但是，您可以使用定义明确的接口(interface)对其进行抽象:push 和 pop。您可以将项目按优先级推送到队列中，并且您可以随时将最高优先级的项目弹出。
另一个例子是关联 map 或字典，可以使用散列、二叉搜索树或训练有素的海獭来实现。重要的是您定义了对底层实现进行抽象的查找、插入和删除操作。

所以他们真的在谈论根本不同的事情。一些数据结构实际上可以看作是实现为代数数据类型的抽象数据类型!就像 Prelude 中常用的链表抽象数据类型一样，实现为 [] 代数数据类型。它提供的接口(interface)是 consing 和 unconsing，但它是作为多个构造函数实现的，其中一个具有多个字段——总和和乘积。