日々の流転

λ. Introduction to Categorical Programming

Haskell Annual Meeting Autumn.jp 2009 (Hama.jp 2009) で、CPL とか Haskell での Categorical Programming の紹介をしたのだけど、テーマを絞りきれなかったのと、準備が間に合わなかったので、かなりグダグダな感じに。

このままというのはあんまりだと思ったので、修正版の資料を作成した。テーマが絞れていないという、根本的な問題は直ってないので、あまり変わらないけど……

資料(修正版)

ダウンロード(PDF)

資料(当日版)

ダウンロード(PDF)

参考資料や関連情報など

• Categorical Programming Language
• Categorical programming with inductive and coinductive types
  • ヒビルテ (2004-06-29)
• The Evolution of a Haskell Programmer
• CPLの処理系のダウンロード
• ヒビルテ [CPL]
• primrecの再帰を使った定義とiterを使った定義の等しさを QuickCheck で確認 (nwnさん)

その他 HAMA.jp 関係

• ログ
• Type level programming in Haskell (keigoiさん)
  • ustream.tv
• Haskellで圧縮 (smlyさん)
• #HAMA - Twitter Search
• nono weird science : HAMA.jp