Haskell

• なぜ関数型プログラミングは重要か
• www.sampou.org
• GHC (The Glasgow Haskell Compiler)
• About Haskell
• ふつうのHaskellプログラミング
• 第一級身分の関数 (first class status function)， 高階関数 (higher order function)
  
• 多相型 (polymorphic type)
  
• 遅延評価 (lazy evaluation)
  
• パターンマッチ
  
• 参照透明性 (referential transparency)