python入門編程， 之后用c++學習數(shù)據(jù)結構，Haskell萌新。
參考教材：Learn You a Haskell for Great Good （http://learnyouahaskell.com/）
操作環(huán)境：Ubuntu下Linux64位虛擬機
Chapter2部分內容
常見的類型(Types)及特點
? ? Int :整型，常見的 其范圍由機器位數(shù)決定。書中說64位下是-2^63 ~ 2 ^63 （不過此處存疑，可能下界要+1？）?
? ? Integer： 沒有上下界的整型
? ? Float:單精度實數(shù)型（如果沒記錯是十進制的6位左右）
? ? Double:雙精度實數(shù)型
? ? Bool: 布爾型，只有True 和 False 兩種取值
? ? Char: 單個Unicode 字符，使用時需要單引號（字符串用雙引號，這一點與c++類似）
? ? 除了上面提到的以外，還有復合類型List 和Tuple。其中List類型由其中元素的類型決定，Tuple的類型由每一個元素的類型及元素個數(shù)決定。
? ? 需要注意的是， Haskell中所有的類型名首字母都大寫。
查看對象類型
? ? 在Haskell里，使用:t object 來查看對象的類型。返回 object :: Type 。其中，雙冒號表示 has type of （類型為）。
? ? 以下是常見對象的類型。對于[ ] 這種元素類型不確定的，返回 [ a ] 。（這可以與后面函數(shù)部分聯(lián)系起來）
函數(shù)類型聲明(type declaration)
? ? ? ? 使用 函數(shù)名：：輸入?yún)?shù)1類型->輸入?yún)?shù)2類型->... ->輸入?yún)?shù)n類型 -> 返回值類型
函數(shù)類型變量（type variables）
? ? 我們有時希望函數(shù)具有更廣泛的使用，能對一系列類型的輸入進行處理。因而有了函數(shù)類型變量。它的功能類似于c++里的template 模板函數(shù)，不過寫法更加方便。通常使用a, b, c, d等單個小寫字母表示類型變量。我們可以通過：t查看內部一些函數(shù)的聲明。
類型的類限制（class constraint）
? ? 有時我們希望對上面提到的類型變量加一些條件，希望輸入的類型具有特定的性質。具有某些特定性質的類型們在一起組成了一個類，而我們使用=>對類加以限制。
? ? 這里的類與c++，python中的有區(qū)別，更多的是指某個類型具有某種特定的性質，因而一個類型可以從屬于多個類，一個類也可以包含多個類型。當然，類之間也存在包含關系（與繼承類似，但也有區(qū)別）
????常見的類有：
? ? ? ? Eq(可判斷元素是否相同）
? ? ? ? Ord(元素可比較大小、優(yōu)先級關系）
????????Enum(元素以一定次序排列）?
????????Show(元素可以以String形式輸出）
????????Read(元素可以由String轉化而來的。使用時可以使用：：來限制轉化而來的類的類型）
? ? ? ? Bounded(元素有上下界（minBound, maxBound））
? ? ? ? Num: 元素有數(shù)字類型。（Int, Integer, Float, Double都是）
? ? ? ? Floating: 元素是浮點類型(Float, Double)
? ? ? ? Integral: 元素是整數(shù)類型。（Int, Integer）
? ??????
