初識Haskell 二：基本操做符、類型Type、數據結構

對Discrete Mathematics Using a Computer的第一章Introduction to Haskell進行總結。環境Windows

---

 1. 在安裝了ghci後，即可以進行Haskell的編譯，點擊GHCi 便可在命令行中打開ghci，也可點擊WinGHCi，也可直接在命令行中ghci進入。

                                                    直接在命令行中輸入ghci進入

 2.  :?  顯示操做命令（注意有「 : 」），經常使用操做有：

　　　　:cd  進入指定路徑

　　　　:load 載入文件

　　　　:quit  退出ghci

 3.Haskell使用縮進(indentation)來表示上一行的續寫。單行註釋符號--       塊註釋 {-     -}

---

 類型Type：

　　Integer和Int

　　二者均表示整數，區別在於：Int的範圍爲電腦存儲一個字(word)的大小，是有限的。Integer是數學意義上的整數，理論上是無限大的，和電腦內存有關。若在計算時結果會超出Int的範圍，則在表達式上用 ::Integer 表示爲Integer類型，但實際上目前的gchi彷佛是當超出Int時，自動用Integer類型表示，不用標明，但超出Int的結果用Int類型表示則顯示爲0。

 

Float：單精度浮點數single-precision floating point numbers & Double：雙精度浮點數double-precision numbers

浮點數在Haskell中是非精確表示的（固然其餘語言也是），好比0.11 - 0.10 和 2.11 - 2.10的結果理應同樣，但在Haskell中則不同（也與電腦有關）

因此須要注意的是當比較兩個浮點數時，是比較其差值的絕對值是否小於必定範圍（within an acceptable error tolerance）。

 Ratio Integer：精確表示有理數

由於有理數均可以表示爲分數的形式，Haskell用分子(numerator)%分母(denominator)的形式表示有理數。使用前須要import Data.Ratio。

 　　　　

Bool：布爾值

Char：字符類型

用單引號(single-quote)將字符包起，如 'a'。注意與表示中間操做符的反引號(back-quote)區分，'?'是Char，`div`是操做符。還有'\n'爲換行符(newline)，當被打印時會換行。

String：字符串

String是0個或多個字符的組合，用雙引號（double-quote）包起，'a' 和 "a"的區別在於前一個是字符a，後一個是一個包含了字符a的字符串。

 

---

 基本數據結構：

　　元組tuple

元組是將一系列數據值（能夠是0個，但不能夠是1個！）以逗號分隔放在括號裏，如(2, "dog")是1個2個元素的元組，它的類型是(Int, String)。一個元組有n個元素，則成爲n-tuple，2-tuples常被叫作pairs，有0-tuple，寫做()，用來做爲假值(dummy value)，但沒有1-tuple。

表（翻譯成表存疑，還不知是否合適）list

List是函數式語言中最經常使用的數據結構，至關於C中的數組，以中括號 [ ] 表示，以逗號 , 分隔，存儲一系列相同type的數據(也能夠是list of tuples)，如[1, 2, 3]是a list of integers。List能夠存儲任意數量的元素（能夠是0個即[ ]），但元素必須是同一類型的，如：

[13, 9, -2, 100] :: [Int]

["cat", "dog"] :: [String]

[[1, 2], [3, 7, 1], [ ], [900]] :: [ [Int] ]

字符串String實際上就是字符Char的list，"abc" 與['a', 'b', 'c']是相同的。 表示一系列數字或字符時，能夠只寫開頭1個或2個和最後1個，中間用 .. 代替，若是隻寫開頭1個，默認增量爲1，寫2個則以差值爲增量。如：

　　

 : 用於將新元素添加到list的首部，發音爲cons(because it constructs a list)，示例：

1:[2, 3] => [1, 2, 3]

1:[ ] => [1]

 全部的list都是由空list[ ]用 : 組成的，其實[1, 2, 3]這種寫法只是list一個更好看的語法表達而已，寫成 (1:(2:(3 : []))) 或者去掉括號 1: 2: 3: []也是同樣的。

Haskell提供了一系列特點使得list易於使用，列表解析list comprehension讓使用者直接定義list而不用寫程序去建造它們，其基於數學集合的定義形式像{ x² | x ∈ S}，基礎的列表解析是由一個表達式和生成器generator構成的：

[expression | generator]

有generator指明瞭一系列要被帶進左邊的表達式中的值，形式是var <- list，如：

　　　　<-右邊的若是是list of tuples的話，var則變成了a tuple of variables，則能夠有：

　　　　

 能夠有多個generator，但操做相似與多重循環。

generator還能夠添加限制條件filter，filter是一個Bool類型的表達式，當從generator取出一個值時，若表達式值爲False則扔掉，取下一個值。

 

---

 

操做符operator：

　　二元操做符其實也是函數，但放在參數前要加()，如：

　　

　　:: operator   指明該表達式的類型read it as has type，如2::Int says 2 has type Int

　　+ 加 addition

　　- 減 subtraction

　　* 乘 multiplication

　　/ 除 division 如5/2 => 2.5

　　^ 冪函數 exponentiation

　　** 浮點數冪函數the floating point exponentiation，如 2**0.5=>1.41421

　　== 布爾類型操做符 等於

　　/= 布爾類型操做符 不等於

　　<  布爾類型操做符 小於

　　<= 布爾類型操做符 小於等於

　　> 布爾類型操做符 大於

　　>= 布爾類型操做符 大於等於

　　&& 布爾類型操做符 與

　　|| 布爾類型操做符 或

　　not 布爾類型操做符 非

　　++ 字符串操做符 用於鏈接連個字符串，如 "abc" ++ "def" => "abcdef"　

---

 經常使用函數functions:函數名+空格+表達式便可，不用括號，固然在嵌套時要括號。

二元函數表示時，若放在元素的前面則直接打出，如div 5 2，若放在中間（二元函數）則要用反引號（back-quote，和~一個鍵，數字鍵1的左邊）表示，如 5 `div` 2。

div 整除 如 div 5 2 或 5 `div` 2結果爲2

mod 求餘

　　max 求二者中的較大值 如max 3 8 => 8

　　min  求二者中的較小值 如min 3 8 => 3

　　toUpper 返回該字母的大寫形式，須要import Data.Char

　　toLower 返回該字母的小寫形式，須要import Data.Char

 　　length 返回該字符串的長度

　　fst 返回二元元組的第一個元素，如fst (1, 'a') =>1

　　snd 返回二元數組的第二個元素，如snd (1, 'a')=>'a'