「Gordon Plotkin先生に学ぶAlgebraic Effect」のまとめ

κeen @blackenedgold

ハッシュタグのこと忘れてた。 #effect_study でいいかな

びしょ〜じょ @Nymphium

開場してます #effect_study

しもむー的意味論 @sm0kym0nkey

着席。 #effect_study connpass.com/event/125885/

Je mange, donc je suis @ryotakameoka

#effect_study (@ フォルシア株式会社 in 新宿区, 東京都) swarmapp.com/c/6wnccXMLoZB

cλbai @_cybai

まもなく !!! #effect_study

watiko @watiko

たどり着けそうではないのでこのタグを眺めつつ作業をする事に。無念 #effect_study

lotz @lotz84_

着席してます〜 #effect_study

Masahiro Sakai @masahiro_sakai

Gordon Plotkin先生に学ぶAlgebraic Effect connpass.com/event/125885/ にやってきた。 #effect_study (@ フォルシア株式会社 in 新宿区, 東京都) swarmapp.com/c/5fXXmeSSPPS

matsu7874 @matsu7874

『Gordon Plotkin先生に学ぶAlgebraic Effect』#effect_study

lotz @lotz84_

Plotkin先生が迷ってて会場にたどり着けていない説ｗ #effect_study

Yuki Ishikawa @rider_yi

会場ついた #effect_study

ほたて @zptmtr

到着ぅ #effect_study

matsu7874 @matsu7874

【会場アンケート】会場はフォルシア株式会社ですが、フォルシアのことを○○○ forcia.com #effect_study

κeen @blackenedgold

エフェクトはどうモデル化されるか？最初はMoggi(Plotkin先生の弟子)のモナド #effect_study

κeen @blackenedgold

ここまで。効果の操作的意味論としてalgebraic effectが提案された。例外をうまく扱うためにhandlerを追加したものが使えそうだと分かった。 #effect_study

κeen @blackenedgold

スライドは公開されるらしいので詳細なメモは不要です #effect_study

takeo @bonotake

普通の会社が会場の無料のIT勉強会でPlotkin先生の講義を聞いてるという状況が未だに謎だ #effect_study

lotz @lotz84_

エラーを表すモナドの話（Either） #effect_study

lotz @lotz84_

エラーモナドのアプリカティブの話かな #effect_study

κeen @blackenedgold

エラーの話からモナドへ一般化 #effect_study

lotz @lotz84_

X x T(Y) -> T (X x Y) を備えてるモナドが Strong Monad #effect_study

lotz @lotz84_

Stateモナドも有限非決定性モナドも継続モナドもSelectionモナドもStrong Monadとしてモデル化できる #effect_study