「Gordon Plotkin先生に学ぶAlgebraic Effect」のまとめ
-
- いいね！0
Je mange, donc je suis
@ryotakameoka
これ？ downloads.haskell.org/~ghc/latest/do… #effect_study
2019-03-30 14:27:02
Masahiro Sakai
@masahiro_sakai
Selection monad (Escardó and Oliva) って知らなかった。 T_sel (X) = (X⇒R)⇒X #effect_study
2019-03-30 14:27:26
lotz
@lotz84_
Escardó and Olivaこれかー／ Selection Functions, Bar Recursion, and Backward Induction cs.bham.ac.uk/~mhe/papers/se… #effect_study
2019-03-30 14:28:37
Masahiro Sakai
@masahiro_sakai
Hilbert-Post complete という概念を初めて知った。 "An equational theory is Hilbert-Post complete if adding an unprovable equation makes it equationally inconsistent." #effect_study
2019-03-30 14:37:48
Je mange, donc je suis
@ryotakameoka
代数的な性質から最適化ができるってのは面白いけど，実際にそれやってくれるコンパイラの実装って研究されてるんやろか #effect_study
2019-03-30 15:05:29
Masahiro Sakai
@masahiro_sakai
そういえば、以前に What is Algebraic about Algebraic Effects and Handlers? という論文を読んだな。 twitter.com/masahiro_sakai… #effect_study
2019-03-30 15:24:08
Masahiro Sakai
@masahiro_sakai
What is algebraic about algebraic effects and handlers? arxiv.org/abs/1807.05923 algebraic effect のどの辺りが代数的なのかという観点からの入門テキスト。 大体想像通りの方向性だったけど、実際の形式化はこんな感じなのね。 あと、Comodelの話とか面白かった。 plus.google.com/+MasahiroSakai…
2018-09-25 01:27:34
Je mange, donc je suis
@ryotakameoka
"What is algebraic about algebraic effects and handlers?" を多少読んでいたので理解の助けになった感 arxiv.org/abs/1807.05923 #effect_study
2019-03-30 15:28:57Oleg Kiselyovさん講演
lotz
@lotz84_
type exp = Int of int | Inc of exp を単純に拡張していくとどんどん複雑になっていく。Unstable Denotationでは同じ Int n でも eval で評価する式が複雑に変わってしまう #effect_study
2019-03-30 15:49:43