类型的本质在于它所定义的操作以及操作之间的不变式。类型的实现关键在于满足类型规范的要求，而具体实现是可以变化的，使用者和测试用例都应该只依赖于类型规范而不依赖于具体实现。函数式的类型实现往往和类型规范是直接对应的，简单通用且容易验证程序的正确性，但可能有性能问题，而命令式的类型实现往往会引入复杂的内部数据结构和算法，不具有通用性但是一般比较高效。这两种实现并不是完全互斥的，有时候可以将二者相结合达到简单与高效的结合。

本文链接：类型的本质和函数式实现，转载请注明。