多态类型的显式类型签名

Question

我正在回顾Haskell:函数式编程的工艺,但是第356页的类型签名已经引发了我的循环.

这是一个简单的:

succeed :: b -> Parse a b
succeed val inp = [( val, inp )]

怎么可能b -> Parse a b,如果

succeed Int -> Int
succeed a = a

和,

succeed Int -> Int -> Int
succeed a b = a + b

您在论证类型声明中的论据数量是多少？你怎么能采取val,并且imp,如果你的类型声明只有一个类型的变量:succeed :: b -> Parse a b应该是阅读,做类型的一个变量a并返回一个类型的Parse a b,用不了两个变量...是哪里inp允许？

Answer 1

因为在它的扩展中Parse是一个类型的同义词->.例:

type Foo = Int -> Int

succeed :: Int -> Foo
succeed a b = a + b