在哪里可以找到类型签名和结构的正式定义？

Question

您能指出我有关概念类型签名的正式定义以及Haskell的特殊性的文献吗？

在一般的语言中，它与结构的概念有关。一般而言，还有任何资源可用于Haskell吗？

参考ML：https://www.cs.cmu.edu/~rwh/introsml/modules/sigstruct.htm

Answer 1

Haskell中ML的签名和结构的等效项是类型类和实例。您可以在这里查看它们的概述：https://www.haskell.org/tutorial/classes.html。