Surveys on Functional Languages

S. Yukita

Hosei University

目的

• 関数型プログラミング言語の比較研究を行う– ML, Scheme, Lisp, Haskell などを比較– 上記言語のひとつを主たる研究対象とし，

他との比較をおこなう• 関数型プログラミング学習のガイドと

なるオンラインドキュメントを作成し，公開する

背景

• 関数型言語の実現方法はいろいろある。• その様々なアプローチの利点欠点を比

較することによりプログラミングをめぐる重要問題の理解を深める。

• プログラミング入門の基本テキストを作成し公開する。

参加要件

• 関数型プログラミングに対する興味– Mathematica または Lisp のプログラミン

グ経験があることが望ましい• コンパイラ技術に対する興味

– recursive decent 構文解析についての簡単な知識があることが望ましい。

• プログラミング自体が好き– そうでなければ何も始まらない。

年間スケジュール

４月 文献１，２，３，４の輪講５月 文献１，２，３，４の輪講６月 文献１，２，３，４の輪講７月 文献１，２，３，４の輪講８月９月 基準となる言語による実例のとりまと

め１０月 多言語との比較１１月 オンラインドキュメントの統合，論文

執筆１２月 オンラインドキュメントの統合，論文

執筆１月 発表準備

参考文献

1. Haskell: The Craft of Functional Programming, Simon Thompson, Addison-Wesley• http://www.cs.kent.ac.uk/people/staf

f/sjt/craft2e/

2. Structure and Interpretation of Computer Programs, H. Abelson and others.

3. ML for Working Programmer, L.C. Paulson

4. Any books on Common Lisp