如何在 Haskell 中定义 function 类型？

Question

我正在尝试将 function 类型存储在定义中，以便我可以重用它，但 Haskell 不允许我这样做。 据我了解， function 类型不是data类型，也不是class 。 那么我做错了什么？

functionType = Int -> Int -> Int -> Int -> Int -> Int -> Int

myfunction :: functionType  -- <-- how do I declare this thing in a definition?
myfunction a b c d e f = a*b*c*d*e*f

Answer 1

类型别名在其声明中使用type关键字； 此外，像往常一样，对于新类型 forms 的声明，新声明的别名必须以大写字母^*开头。 所以：

type FunctionType = Int -> Int -- -> ...

functionValue :: FunctionType
functionValue a = a

^* ...或标点符号。 为什么通常的“大写”标点限制不适用？ 不知道。 在尝试写这个答案之前我从未想过它，现在我有，我觉得这有点奇怪。 也许应该删除对新类型声明的大写限制！