你能用类型类开始函数定义吗？

Question

在本教程的最底部,作者提供了一种函数类型:

(Num b) => length :: [a] -> b

所以你可以看到它以类型类"Num b"开头(至少我认为是这样).但是当我尝试定义类似的东西时:

(Integral a) => lucky :: a -> String

我收到一个错误:

输入`=>'解析错误

谁在这里错了？

Answer 1

该教程是错误的,类型类必须::在类型签名之后length :: Num b => [a] -> b.

语法在语言报告中指定,第10.5节上下文无关语法,相关产品是gendecl.