函數編程 (Functional programming)

講者

• 穆信成 Shin-Cheng Mu, 中研院資訊所 IIS, Academia Sinica, Taiwan

大綱

• wholemeal programming
• inductive functions and equational reasoning
• functional program derivation
• monadic programming & program derivation

教材

• Day 1
  • practicals_1-1.pdf
  • practicals_1-2.pdf
  • MiniPrelude.hs
  • practicals_01_code.zip
  • practicals_01_sols.zip
  • CaesarCipher.zip
  • CaesarCipher Complete.zip

• Day 2
  • slides.pdf

• Day 4
  • Class.hs
  • weekend-fp.pdf
  • practicals_3_sols.pdf
  • work_sheet_2_sols.pdf
• Day 7
  • Class-done.hs
  • practicals_4_sols.pdf