tags: Functional Programming 教學 模組 門外漢 Haskell
Haskell Tutorial(17)定義與使用模組
By caterpillar | 2015/02/18模組使用 module 來定義,如果你希望模組名稱為 Map,那麼需要將 .hs 檔案的主檔名也取為相同名稱,接著括號中定義了模組可匯出的名稱有哪些,當其他人使用你的模組時,只有這邊定義的名稱才會被看見。
Haskell Tutorial(16)Record 語法、Type 同義詞
By caterpillar | 2015/02/10Record 語法,可以讓你指定各項名稱,這麼做的好處有幾個,從型態定義上,可清楚地知道各項之意義,如果你使用 deriving 自動衍生自 Show,那麼產生的字串描述中,也會包括 Record 語法中指定的各項名稱 …
Haskell Tutorial(15)Typeclass 定義、實作與衍生
By caterpillar | 2015/02/04在之前的文件中,你已數次看過 Typeclass,具有某個 Typeclass 行為的型態,必須實現該 Typeclass 規範的行為,那麼,要怎麼定義自己的 Typeclass?
tags: Functional Programming 教學 門外漢 Haskell Typeclass Type Parameter Polymorphism Parametric polymorphism
Haskell Tutorial(14)減輕型態負擔的型態參數
By caterpillar | 2015/01/28型態可以參數化,開發者在設計函式時就減輕了為各種不同型態建立不同版本函式的負擔,可以使用同一個介面來處理多種不同型態的需求,也就是多型的一種實現,稱之為參數多型 …
tags: Functional Programming 代數資料型態 教學 門外漢 Haskell
Haskell Tutorial(13)正式入門代數資料型態
By caterpillar | 2015/01/22稱為代數資料型態,是因為型態的實際值,就是由 sum 與 product 兩類代數操作來構造而成,就如同其他程式語言中,自訂型態的需求並不是憑空而來,Haskell 中也自有其定義型態的前置需求 …