haskell - 您可以从类型类开始函数定义吗？

Question

在此tutorial ，在最底层，作者提供了一个函数类型:

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

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

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

我收到错误:

parse error on input `=>'

谁错了？

Answer 1

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

语法在语言报告第 10.5 节 context free syntax 中指定。 ，相关产生式是gendecl。