Top
Photo Drawings Software Writing Reading Memo Study Profile Bookmark 
Amethyst DumLambda PetitLambda Yamanba JSharp JFlat OOPS yash KumonoIto ML Toys 

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

オンラインで入手できるものをリストします。

日本語で読めるもの

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

英語