使用箭頭運算符的Haskell類型聲明

Question

我遇到了使用箭頭運算符的Haskell類型聲明，如下所示：

type Acceleration = State -> Vec

但是怎么可能呢？ 因為我以前從未見過這樣的用法（在學習Haskell教程中）。

如果聲明是OK，那么其定義應為什么樣？ 我該如何使用這種類型？

Answer 1

那是類型的同義詞。 表示Acceleration是從State到Vec的函數。

簡化一下，想象一下從Int到String的函數集。 我們稱他們為Frobnicators 。

type Frobnicator = Int -> String

我們可以定義這樣的函數，然后可以說它具有Frobnicator類型。

foo :: Frobnicator
foo = show . (+3)