Haskell Learning Note(2)
欠稿很大，預估要寫到folder後才能停一下。
環境
建議是用ghc(The Glasgow Haskell Compiler)，大部分的環境都有提供binary，直接安裝即可，而ghci是一個互動介面，較為常用指令如下。
- :q 離開ghci
- :l xd.hs 載入某個module(Haskell副檔名為.hs)
- :r 重新載入module
- :e 編輯所載入的module的文字檔(我在mac上，預設是用vim開啟)
簡單的開始
如果撰寫了一個function，可以使用:t 來看其形別要求，舉個例子
Prelude> :t sum . map read . words
sum . map read . words :: (Read a, Num a) => String -> aJust Function
在Haskell中最小的組成單位是function，想要表達一堆資料，可以用list(不知道對不對，不過倒是知道list沒有這麼簡單)，一個function必有其input 和 output，然而，我學習的第一個問題，怎麼樣得知input和output的要求為何，如果跟C++ STL一樣，use type as an argument，必有其限制，所以:t非常的重要(因為就是拿來看型別要求)，在Haskell裡，有著非常神奇的type system，有好幾次我問Josh，為什麼會如此時，卻超出我的範圍，以剛剛說的例子而言
Prelude> :t words
words :: String -> [String]
(yen3註：一個String為input，產生一個為String的List)
Prelude> :t read
read :: (Read a) => String -> a
(yen3註： 一個String為input，產生一個型別為a符合Read的要求)
Prelude> :t map
map :: (a -> b) -> [a] -> [b]
(yen3註: map是一個神奇的function，基本原理就是，input為一個list，output也是一個list，但是map會套用一個function，將list of a轉換到list of b，簡單的來說，就是對每個元素做同一個動作)
Prelude> :t sum
sum :: (Num a) => [a] -> a
(yen3註: input 為一個list，輸出後型別為a符合Num的要求)Prelude> :t sum . map read . words
sum . map read . words :: (Read a, Num a) => String -> a
(yen3註: 變的很明顯，輸入一個字串，而輸出一個型別為a符合 Read 和 Num，全部串起來做一次就會變成...)
Prelude> sum . map read . words $ "123 456"
579
(yen3註：把字串根據空白分開成為個一list，然後每個元素被讀取成某一個型別之後，sum把每個元素做一求和的動作。)
每次連載都不會寫太長，基本上都是利用專題空閒寫作，我就盡量寫啦XD
---
基本上這篇的註都是大膽的猜測，但是想不到要用什麼字XD
