tutor-haskell's Introduction

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, 使用情境
- 沿伸閱讀材料

Recommend Projects