関数型プログラミング言語 Haskellの理論と応用「関数型プログラミング言語 Haskellの理論と応用」のホームページです。 概要 本講義では、関数型プログラミング言語Haskellについて、その理論的基礎か ら実際的な応用までを解説する。Haskellは、副作用を持たない、CやJavaなど いわゆる“主流（メインストリーム）の言語”とは一風変わったプ ログラミング言語である。また、強力な型システムを持つことも大きな特徴で ある。本講義では、おもに次のようなトピックについて説明する。 遅延評価 型クラス リスト内包表記とモナド パーサコンビネータ さらに時間が許せば、総合演習として命令型ミニ言語のインタプリタの作成を 行なう。 受講に際しては、ラムダ計算に関する基本的な知識があること、また、Scheme やMLなどの関数型プログラミング言語を使用した経験があることが望ましい。 日程 6/11（月） 13:30 〜 16:40ころ 6/1
