Haskell 类型签名

Question

我无法理解这种类型签名:

config :: Config Snap ()
config = setPort 8888 defaultConfig

声明函数参数和返回类型的 -> 在哪里？我在这里缺少什么？

Answer 1

-> 中缀类型构造函数在左侧采用参数类型，在右侧采用结果类型。 config没有参数，左边什么都不写的->是没有意义的，所以结果类型是唯一的类型。

您可以对您更熟悉的类型执行相同的操作。例如:

example1 :: Int
example1 = 1

example2 :: Maybe Integer
example2 = Just 2

example3 :: [Double]
example3 = [1,2,3]

example4 :: Either String Int
example4 = Right 4