函數編程 / Functional Programming
-
- email: Ascm@iis.sinica.edu.twA, 將頭尾的A去除。
Outline
- Values and Evaluation
- Functions
- Using Functions
- Sectioning
- Definitions
- Types
- Simple Datatypes
- Booleans
- Characters
- Products and Sums
- Some Notes on Typing
- Functions on Lists
- List Generation
- Inductively Defined Functions on Lists
- Inductively Defined Functions on Natural Numbers
- Other Patterns of Induction
- Fold on Lists
- User-Defined Inductive Datatypes
Course Materials
