モナドはどこから来て、どこへ行くのか・・・。

ストッリー

世界のどこかで誰かが頑張ってモナドの記事を書くと必ず叩きが発生する昨今・・・。

想定読者はモナドを飛ばし、パーペキに分かっている人は見向きもしない。では一体誰が記事を読むと言うのだろうか。

耳を澄ませばあちこちで「俺の解説を聴け!!」という咆哮。世はまさに世紀末・・・。

世紀末では無いですが、色々な切り口でモナド周辺を考えよう！！という超需要があるイベントです。

真剣にやりましょう！

どのモナド?

圏論のモナドと、プログラミングで出てくるモナド
何のモナドでも良いと思います。スペルがMonadとかMonadoとかでしたら。

当日の内容

1. まずはCategory Theoryなモナドを、圏圏した言葉を余り使わずにやる
2. Haskellにおけるモナドの歴史
3. 計算機科学におけるモナド
4. モナド超雑学
5. プログラミングにおけるモナド

で、誰がやるの...?

参考

http://www.ipl.t.u-tokyo.ac.jp/~hamana/local/monad.pdf
http://www.ipl.t.u-tokyo.ac.jp/~hamana/local/monad2.pdf
http://www.ipl.t.u-tokyo.ac.jp/~hamana/local/monad3.pdf
http://homepages.inf.ed.ac.uk/wadler/topics/monads.html
http://www.haskell.org/haskellwiki/Monad_tutorials_timeline
http://www.cs.chalmers.se/Cs/Research/Logic/Types/Uustalo-lectures.pdf
http://www.kurims.kyoto-u.ac.jp/~ichiro/talks/msfp06.pdf
http://cs.ioc.ee/mpc-amast06/amast/mossakowski-slides.pdf