函數編程 (Functional Programming)
- 講者: 陳恭 Kung Chen
- 講者: 穆信成 Shin-Cheng Mu
Outline
- values & evaluation
- functions
- types
- simple datatypes
- functions on lists
- inductively defined functions
- other patterns of induction
- folds on lists
- user defined inductive types
