ICFP 2011

Masahiro Sakai @masahiro_sakai

等式を用いた代数的定義は translational と behavioral のどちら? #icfp

yoriyuki @yoriyuki

RT @masahiro_sakai: 等式を用いた代数的定義は translational と behavioral のどちら? #icfp

山本和彦 @kazu_yamamoto

ピヨピヨ言ってた頃に INET'92 に参加したときと同じぐらい、まったく分からん。 #icfp

yoriyuki @yoriyuki

inclusive vs coercive subeffecting #icfp

yoshimasa @yoshi_hiro_masa

こっちでつぶやくとするか。#icfp

yoriyuki @yoriyuki

FLat composiiton - union of behaviour, Hierarchical composition : e.g. monad transformer #icfp

yoshimasa @yoshi_hiro_masa

Flat vs. structured effect composition #icfp

yoriyuki @yoriyuki

x - persistent + - transitional #icfp

yoshimasa @yoshi_hiro_masa

specification vs implementation of effects #icfp

yoriyuki @yoriyuki

Scheme trap - implementation is also specification, Haskell trap - specification is also implementation #icfp

yoriyuki @yoriyuki

reference implementationの振る舞いを仕様にするとシンプル。 #icfp

yoriyuki @yoriyuki

なぜモナド則が重要か。 #icfp

yoriyuki @yoriyuki

モナド則を導くのは簡単だからしましょう！ #icfp

山本和彦 @kazu_yamamoto

これまでの問題を取り扱うためのメタ言語 M3L (MultiMonadic Metalanguage)を考案してみました。 #icfp

yoriyuki @yoriyuki

MultiMonadic Metalanguage M^3Lを導入する。 #icfp

yoriyuki @yoriyuki

Monads in Action POPL 2010 #icfp

Masahiro Sakai @masahiro_sakai

effectのpreorderの最小元は no effect ではなく divergence に。general recursion を許しているので。 #icfp #icfp2011

Masahiro Sakai @masahiro_sakai

effectのpreorderの最小元は no effect ではなく divergence に。general recursion を許しているので。 #icfp #icfp2011

yoriyuki @yoriyuki

RT @masahiro_sakai: effectのpreorderの最小元は no effect ではなく divergence に。general recursion を許しているので。 #icfp #icfp2011

yoriyuki @yoriyuki

RT @masahiro_sakai: effectのpreorderの最小元は no effect ではなく divergence に。general recursion を許しているので。 #icfp #icfp2011

Nobuo Yamashita @nobsun

notation が読めない．orz #icfp

yoriyuki @yoriyuki

うーん、分からなくなってしまった。 #icfp

Nobuo Yamashita @nobsun

rollってなんだ #icfp

Masahiro Sakai @masahiro_sakai

ICFPのサイトが ウイルスバスター コーポレートエディション にはじかれる。ウイルスバスター死ね。 #icfp #icfp2011

Masahiro Sakai @masahiro_sakai

ICFPのサイトが ウイルスバスター コーポレートエディション にはじかれる。ウイルスバスター死ね。 #icfp #icfp2011