「Gordon Plotkin先生に学ぶAlgebraic Effect」のまとめ
非対称コルーチンについて調べてたらびしょ〜じょさんの記事がでてきた/ stackfulness of coroutines nymphium.github.io/2019/01/27/sta… #effect_study
2019-03-30 17:39:325/26にも「effect system勉強会」がありますとのこと connpass.com/event/124786/ #effect_study
2019-03-30 17:40:335/26(日) 開催の effect system勉強会 connpass.com/event/124786/ の宣伝。 #effect_study
2019-03-30 17:40:37κeen さん発表
「みなさんモナド書きますよね?合成する時にネストするのめんどくさいですよね?特にdo記法で書くと余計なliftが入ってしまいますよね?Effectを使うとこれをどうにか出来るんですよ!」 #effect_study
2019-03-30 17:42:19@ryotakameoka rebindable syntax といえばタイムリーですがこういう proposal が github.com/ghc-proposals/… #effect_study
2019-03-30 17:46:10懇親会
急に大役預かって何から何まで不安でしたが恙無く終わって何よりでした。発表された方、参加者された方、ありがとうございました #effect_study
2019-03-30 21:30:08connpass.com/event/125885/ に行ってきた。Plotkinの講演の前半は修士でやった内容なのでふんふんと聞いていたのだけど、handlerの絡む後半はあまり話を追えなかったので復習したい。余談として言及されたPost completeness周りの結果は初耳で面白かった。#effect_study
2019-03-30 22:13:21あとで質問したらSelection :: (x -> r) -> xが尤度関数からパラメータを決定する関数のように見える *かも* 知れないとのこと(たぶん)。もうこの型が argmax にしか見えなくなってきました…w あと確率分布モナドと組み合わせればベイズ更新にも見える *かも* 。 #effect_study twitter.com/blackenedgold/…
2019-03-31 00:15:40Plotkin先生の発表スライドを添付しました~ connpass.com/event/125885/ #effect_study
2019-03-31 13:44:02そういえば #effect_study の後の懇親会で圏論の研究をしている方やプログラム言語の研究をしている方などに「圏論がHaskellなどでプログラムを書く上で重要となることはありますか?」と聞いてみたところ、少なくともその場にいた人で重要だと主張した人はいなかった。
2019-03-31 23:40:55@lotz84_ Selection monad の値を optimizer として、複数の optimizer が出てくる GAN みたいなのをうまく形式化できると面白いなぁ、と思って聞いてました。 #effect_study
2019-03-31 23:51:55"Selectionモナド入門" 公開しました🙌 #effect_study で話題になったモナドです! qiita.com/lotz/items/22c…
2019-04-05 21:44:01