函數編程 (Functional Programming)

Outline

  • values & evaluation
  • functions
  • types
  • simple datatypes
  • functions on lists
  • inductively defined functions
  • other patterns of induction
  • folds on lists
  • user defined inductive types

Course Materials