-
kazu_yamamoto
- 4932
- 0
- 1
- 0
-
- いいね！0
Masahiro Sakai
@masahiro_sakai
等式を用いた代数的定義は translational と behavioral のどちら? #icfp
2011-09-19 09:34:16
yoriyuki
@yoriyuki
FLat composiiton - union of behaviour, Hierarchical composition : e.g. monad transformer #icfp
2011-09-19 09:41:07
yoriyuki
@yoriyuki
Scheme trap - implementation is also specification, Haskell trap - specification is also implementation #icfp
2011-09-19 09:44:13
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
フィリンスキーの招待講演＠ICFP＠東京。モナドの話。POPL'99とかの発表とは別人:-)のような、数式もプログラムも出てこない(!)informalなoverview
2011-09-19 09:49:39
山本和彦
@kazu_yamamoto
これまでの問題を取り扱うためのメタ言語 M3L (MultiMonadic Metalanguage)を考案してみました。 #icfp
2011-09-19 09:49:51
Masahiro Sakai
@masahiro_sakai
effectのpreorderの最小元は no effect ではなく divergence に。general recursion を許しているので。 #icfp #icfp2011
2011-09-19 09:52:46
Masahiro Sakai
@masahiro_sakai
ICFPのサイトが ウイルスバスター コーポレートエディション にはじかれる。ウイルスバスター死ね。 #icfp #icfp2011
2011-09-19 09:56:16
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii …と思ったら最後の10分で式だらけになって安心(?)した。それでも昔の発表よりわかりやすい…（内容はモナドの階層の話）
2011-09-19 09:57:44
Nobuo Yamashita
@nobsun
nobsunとアドホックに飲み交わしたい人が1人います。あなたとアドホックに飲み交わしたい人数→ http://t.co/Sad0x8mZ
2011-09-19 10:00:15
S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認ください)
@esumii
@esumii 「水道水は赤ちゃんでも安全。よって計算機科学者(computer scientist)にも安全」とのこと
2011-09-19 10:03:02
yoriyuki
@yoriyuki
うーん、こういう体型を導入するモチベーションは、HaskellとMLの副作用の扱いを統合するということで良い？強引なまとめだけど。 #icfp
2011-09-19 10:04:38