Haskell的類型關鍵字

Question

在the code from Scrap Your Zippers，什麼是以下行的意思是：

type Move a = Zipper a -> Maybe (Zipper a) 

類型是一個類型的同義詞，並使用相同的數據構造，所以這是沒有意義的。這裏如何使用？如你所說，

Answer 1

type允許我們製造同義詞。這意味着我們可以製作長和複雜類型的縮短版本。這是String基本類型的定義。是的，這是如何定義的：

type String = [Char] 

這使我們能夠在編寫類型時使類型更具可讀性;大家更喜歡看到String到[Char]。

您也可以使用類似於data關鍵字的類型參數。以下是一些示例：

type Predicate t = t -> Bool 
type Transform t = t -> t 
type RightFoldSignature a b = (a -> b -> b) -> b -> [a] -> b 
type TwoTuple a b = (a,b) 
type ThreeTuple a b c = (a,b,c) 

...等等。所以，對於你所擁有的聲明來說，沒有什麼特別奇怪的 - 作者正在製作一個類型的同義詞，以便更容易編寫和更清晰地閱讀，大概可以用在作者想要創建的函數類型中。

向你學習Haskell對此有own little section，可以找到不同聲明的列表here和文章here。