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

κeen @blackenedgold

関数が見づらい…。lolipop使って欲しい…。 #effect_study

びしょ〜じょ @Nymphium

sequent calculusの説明が3秒で終わった #effect_study

κeen @blackenedgold

GoIマシン興味でてきた #effect_study

lotz @lotz84_

Polymorphic effects + let-polymorphism で型安全性が壊れる #effect_study

びしょ〜じょ @Nymphium

value restrictionは*全ての*effectsに必要か? => No #effect_study

Masahiro Sakai @masahiro_sakai

@skymountain_ さんの発表。 #effect_study pic.twitter.com/mChvXuNhIo

拡大

Je mange, donc je suis @ryotakameoka

先月びしょ〜じょに value restriction の話聞いといてよかった #effect_study

びしょ〜じょ @Nymphium

resumptionが型変数を共有しなければ安全そう #effect_study

cedretaber @cedretaber

GoI の話めちゃくちゃおもしろかった。視覚的に処理が理解できるの本当に素晴らしいな。 #effect_study

cedretaber @cedretaber

OCaml の Extensible Variant Types 初めて知った。凄い。 #effect_study

takeo @bonotake

こんな短期間につよつよLTの準備できる皆さんすごい #effect_study

lotz @lotz84_

次は @Nymphium さんによるPPL2019のポスター発表からの「ワンショット代数的効果から非対称コルーチンへの変換」の話 #effect_study

κeen @blackenedgold

handlerがほぼ実装なやつ #effect_study

Masahiro Sakai @masahiro_sakai

ワンショット代数的効果から非対称コルーチンへの変換 logic.cs.tsukuba.ac.jp/~sat/pdf/ppl20… github.com/Nymphium/eff.l… #effect_study

Je mange, donc je suis @ryotakameoka

この発表 PPL より前にオフィスで聞いてしまった #effect_study

吉村 優 / YOSHIMURA Yuu @_yyu_

ポスターはこれかな。 logic.cs.tsukuba.ac.jp/~sat/pdf/ppl20… #effect_study

lotz @lotz84_

ハンドラの取る継続がコルーチンの残りの計算に対応している コルーチンは状態をコピーできないので継続の実行はワンショットに制限される #effect_study

lotz @lotz84_

「Luaによる実装です。Lua皆さん読めますか？」😇 #effect_study

cedretaber @cedretaber

lua より SML 読める人の方が多い界隈 #effect_study

lotz @lotz84_

Goのdefer, panic, recoverをLuaで実装してるのか #effect_study

Je mange, donc je suis @ryotakameoka

「Go 書いたことある人は…… まぁあんま書かない？」 #effect_study

lotz @lotz84_

Panicは継続を捨てて、エラーをrunRecover0に渡してrunDeferVを走らせる #effect_study

lotz @lotz84_

go on lua による defer, panic, recover の実演 #effect_study