/Tutor-Haskell

跟幾個朋友 study group 所用的教材

Primary LanguageHTMLMIT LicenseMIT

Tutor of Haskell

在某個 study group 準備的教材.

歡迎批評指教, 也歡迎問問題 (可以開 issue 當留言板.. XD)

一邊準備, 一邊使用, 一邊還在摸索怎麼作比較好.

想拿來自學的話, 如果覺得讀起來很吃力.. 可能是我的問題不是你的問題 囧

  • 2014.12.17 start

    • 最新版 (現在是 7.8) GHC 安裝
    • 一些會動的, hello world 等級的 haskell 範例程式碼, 與部分(不完整的)解釋

  • 2014.12.24 syntax

    • type signature 語法 (物件多型 (ad hoc polymorphism) 與泛型多型 (parametric polymorphism) 比較)
    • 定義 data type 語法 (GADT, 含一點點 data kind)
    • data construct / destruct (pattern matching) 語法
    • class / instance 語法 (含 functional dependency, 和一點點 type family)
    • operator 語法
    • 這一次開始想儘快把最必要的語法掃過一遍, 將枯燥的東西趕快帶過去, 以後再來主題性地看組合應用.

  • 2014.12.31 syntax2

    • record syntax
    • existential type
    • pattern synonym
    • view patterns
    • guard, pattern guard, multiway if
    • do-notation

  • 2015.1.7 lazy

    • Haskell 無窮 List 展示
    • Evaluation Strategy 介紹 (Applicative order, Normal order.. / Strict, Non-strict)
    • Lazy evaluation 介紹, 展示
    • Löb 介紹, 建構原理, 用法展示
    • Functor 介紹, instance 展示

  • 2015.1.14 monad

    • monad paradox, monad definition, monad laws
    • 經典款 monad instance, 資料結構與實作
    • (是以討論互動的方式進行, 直接閱讀可能用處不大)

  • 2015.1.28 lens (begining)

    • 從問題情境介紹

      type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t

    • 介紹部分 helper, 使用情境

    • 沿伸閱讀材料