関数型言語のチュートリアル

日本語で読めるもの

• 「プログラミング言語ML その歴史、特徴、応用および最近の研究動向」(13ページ) (ps, pdf)
  大堀先生によるMLの紹介。
• 「コンピュータサイエンス」への大堀先生の連載
  例としてラムダ式のパーサとインタプリタを作成しています。 (1:ps, pdf, 2:ps, pdf, 3:ps, pdf, 4:ps, pdf)
• 「プログラミング言語 Standard ML入門」 大堀 淳 著
  JAISTの講義の教科書です。
• 「プログラミング言語」 武市正人著; 岩波書店 ; ISBN:400010344X
  岩波講座 ソフトウェア科学の一冊です。 関数型言語プログラミングを説明しています。 MLではなくMirandaを使って説明していますが参考になります。

英語

• カーネギーメロン大学の Robert Harperが書いた "Programming in Standard ML"( ps, pdf)
• ケンブリッジ大学での関数型言語入門講座の 講義ノート(ps.gz)。 前半でラムダ計算を説明し、 後半でMLを説明して例としてラムダ式のパーサとインタプリタを作成します。
• John Hughesが作成した チュートリアルへのリンク集
• SMLNJのチュートリアル集
• Moscow MLを紹介するこのページの真中あたりに SMLプログラミングに関するリンクがリストされています。