类型定义不是Haskell必需的吗？
|
即使没有类型声明，Haskell代码又如何工作？
没有找到相关结果
已邀请:
2 个回复
呢率篓舍烫
或之类的类型定义，该代码将不再起作用（假设实际上是使用定义的类型）。 Haskell代码可以在没有类型签名的情况下工作，因为如果您未指定签名，则变量/函数的类型仅由编译器推断出来。用于进行此推断的算法是Hindley-Milner类型推断算法的一种变体。拭十年
的类型为ѭ3say，表示我们从一个列表转到另一个相同类型的列表。当您向该函数传递pass4ѭ时，就会知道另一个是结果，因此实际上并不需要明确地说明这一点。因此，的类型被称为String（或，这实际上是相同的）。