functional-programming - 真实世界 Haskell 书 : don't understand the example

Question

在第3章，有一个例子叫“MySecond.hs”，我真的不明白是这样的代码:

safeSecond :: [a] -> Maybe a

它总是在文件的第一行，删除它不会造成任何麻烦。任何人都可以启发我这意味着什么？我只是任何函数式编程语言的新手。

Answer 1

它是类型注释。如果你不写它 Haskell 会推断它。

在这种情况下，safeSecond 是某物的名称。::将名称与类型分开。它需要一个类型为 a 的列表(a 是一个类型变量，这个函数可以处理任何类型的列表。) -> 是函数应用程序，而 Maybe a 是返回类型。

请注意，'a' 代表单一类型，因此如果您传入一个 int 列表，您必须得到一个 Maybe int 。也就是说，类型中的所有 'a 必须一致。

也许只是一种有两种选择的类型 Just a 或 Nothing。