哈斯克爾類型構造

-2

想問關於哈斯克爾類型構造哈斯克爾類型構造

可有一個人給我提供類型構造器是如何工作的以及它的一些例子幾個問題嗎？

此外，我需要知道：

難道這些類型構造?:

Numerical 
Maybe 
Show 
[] 
Eq

謝謝

朱利安

2013-11-20 Julian

我建議查看Learn You Haskell教程，這是最容易理解的語言介紹之一。 – bheklilr

這聽起來很像你沒有嘗試過自己做的功課。你可能會發現它閱讀[在類型和類型類中學習你的Haskell]（http://learnyouahaskell.com/making-our-own-types-and-typeclasses）。 – kqr

類型構造事是構建..好類型。就拿Maybe，它需要一個其他類型的，比方說a，並返回一個類型Maybe a有兩個構造

Just :: a -> Maybe a 
Nothing :: Maybe a

我們可以談論一個構造函數與它的「種」有多少參數需要，一種是類型一種。一些例子，

Int :: * 
Maybe :: * -> * 
Either :: * -> * -> *

所以一個類型構造函數是一種需要一些其他類型並返回一個新類型的東西。

雖然我會把看起來像家庭作業問題的東西留給你。

2013-11-20 19:24:57 jozefg

回答