python入門編程粪小， 之后用c++學(xué)習(xí)數(shù)據(jù)結(jié)構(gòu)邪码，Haskell萌新。
參考教材：Learn You a Haskell for Great Good （http://learnyouahaskell.com/）
操作環(huán)境：Ubuntu下Linux64位虛擬機
Chapter2部分內(nèi)容
常見的類型(Types)及特點
? ? Int :整型，常見的 其范圍由機器位數(shù)決定蚤蔓。書中說64位下是-2^63 ~ 2 ^63 （不過此處存疑欧穴，可能下界要+1民逼？）?
? ? Integer： 沒有上下界的整型
? ? Float:單精度實數(shù)型（如果沒記錯是十進制的6位左右）
? ? Double:雙精度實數(shù)型
? ? Bool: 布爾型，只有True 和 False 兩種取值
? ? Char: 單個Unicode 字符涮帘，使用時需要單引號（字符串用雙引號拼苍，這一點與c++類似）
? ? 除了上面提到的以外，還有復(fù)合類型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查看內(nèi)部一些函數(shù)的聲明疹启。
類型的類限制（class constraint）
? ? 有時我們希望對上面提到的類型變量加一些條件葛账，希望輸入的類型具有特定的性質(zhì)。具有某些特定性質(zhì)的類型們在一起組成了一個類皮仁，而我們使用=>對類加以限制籍琳。
? ? 這里的類與c++，python中的有區(qū)別贷祈，更多的是指某個類型具有某種特定的性質(zhì)趋急，因而一個類型可以從屬于多個類，一個類也可以包含多個類型势誊。當(dāng)然呜达，類之間也存在包含關(guān)系（與繼承類似，但也有區(qū)別）
????常見的類有：
? ? ? ? Eq(可判斷元素是否相同）
? ? ? ? Ord(元素可比較大小粟耻、優(yōu)先級關(guān)系）
????????Enum(元素以一定次序排列）?
????????Show(元素可以以String形式輸出）
????????Read(元素可以由String轉(zhuǎn)化而來的查近。使用時可以使用：：來限制轉(zhuǎn)化而來的類的類型）
? ? ? ? Bounded(元素有上下界（minBound, maxBound））
? ? ? ? Num: 元素有數(shù)字類型。（Int, Integer, Float, Double都是）
? ? ? ? Floating: 元素是浮點類型(Float, Double)
? ? ? ? Integral: 元素是整數(shù)類型挤忙。（Int, Integer）
? ??????
