プログラミング言語特論（2008年度）

連絡事項

• 2008年度期末テストの解答例（一部）を公開します。
• 2007年度期末テストの問題と解答例（一部）を公開します。
• 第2回レポート（8/05〆切）
• 7/3は出張のため休講です。補講は 7/14（月）1コマです。
• 第1回レポート（6/12〆切）

配布物など

をクリックすると、Wappenというシステムが起動して編集・コンパイル・実行できます。

• プリント第8章 接続の応用 （7/17 配布）
  プリント第8章のプログラム
  • CPS.hs（8.1）, Fact.html, Fact.js () （8.3）, Hanoi0.html, Hanoi0.js () （8.4 CPS書換え前）, Hanoi.html, Hanoi.js () （8.4 CPS書換え後）, Fib.html, Fib.js () （8.4 CPS書換え前）
• プリント第7章 接続 (continuation)（7/10 配布）
  プリント第7章のプログラム
  • UtilCont: ContType.hs, ContParser.hs, ContCompiler.hs, ContMain.hs
  • いろいろなモナド: Cont.hs （UtilCont),
  
  
  • UtilContコンパイラ（Web上で実行）
  • foo.c(), bar.c()
  • Cont.scm () （7.2〜7.3の Schemeプログラム）
  • 参考リンク: 何でも継続, 継続 - Wikipedia
• プリント第6章 非決定的な計算（6/19 配布）
  プリント第6章のプログラム
  • Tokugawa.pl (), （6.2 徳川将軍家）
    実行例: grandchild(X, ieyasu).
  • いろいろなモナド: NonDet.hs （UtilNonDet),
• プリント第5章 モナド（6/12 配布）
  プリント第5章のプログラム
  • Util共通: Token.hs, Target.hs,
  • Util1: RecType.hs, RecParser.hs, RecCompiler.hs, RecMain.hs
  • UtilErr: RecType.hs, CatchParser.hs, RecCompiler.hs, CatchMain.hs
  • いろいろなモナド: Id.hs （Util1), Err.hs (UtilErr), ST.hs (UtilST), IO.hs (UtilIO),
  
  
  • Utilコンパイラ（Web上で実行）
• プリント第4章 型クラス（5/22 配布）
  プリント第4章のプログラム
  • TypeClassExample.hs (), 型エラーになりそうでならないプログラムの例
• プリント第A章 Haskellのレイアウトルール （4/24配布）
  • Haskellプログラムのレイアウト変換
• プリント第3章 関数型言語Haskelllとは （4/24配布）
  プリント第3章のプログラム
  • Chap3.hs ()
• プリント第2章 ラムダ計算 （4/17配布）
  • λ式β変換
  • λ式文法チェッカ
• プリント第1章 プログラミング言語の意味とは（4/10配布）

インタラクティブなページ

• 6章 徳川家をWappenで実行
• Utilコンパイラ
• 4章 型クラス exampleをWappenで実行
• Haskellプログラムのレイアウト変換
• 3章のプログラムをWappenで実行
• λ式β変換
• λ式文法チェッカ

リンク

• 「コンピュータサイエンス入門 — 論理とプログラム意味論」（京都大学）
  参考書に挙げた、中島玲二・長谷川真人・田辺誠 著 「コンピュータサイエンス入門 — 論理とプログラム意味論」のホームページです。 ここからラムダ計算やD_∞に関する補足資料が入手できます。
• 「Haskell プログラミング」 和田 英一 他
  情報処理学会の会誌「情報処理」に2005年4月から2006年3月まで連載された記事です。
• 言語処理系ダウンロード （香川大学内アクセス限定）
  Hugsと GHC (Glasgow Haskell Compiler)は Haskellの 2大実装です。 本講義ではGHCを使います。
• 最新版GHCのダウンロード
• 最新版Hugsのダウンロード