ゆきくらげ ଳ
@yukikurage_2019
ファイヤー ଳ ゲーム🎮 @stellagate_traP ଳ 音楽 🎵 http://soundcloud.com/yukikurage ଳ イラスト 🎨 http://pixiv.net/users/44737353 ଳ Skeb http://skeb.jp/@yukikurage ଳ くらげ鯖 http://discord.gg/Z2APrkjZAe
#fp_matsuri 今日の発表資料です！ Effect の双対、Coeffect speakerdeck.com/yukikurage/eff…
h' (ExcR m) b h' m b -> ExcR (Prog hs) a から ExcR (Prog hs) a を得る みたいな事ができる h' があればいいのか？ ※ここで ExcR は ExcR m a = m (Either Str a) みたいな感じの、interpret 先の表現
色々考えてるけどやっぱり preprocess (State エフェクトの初期状態みたいな)？が邪魔だな、 internal computation すべてを同じ初期状態から走らせるなら問題ないんだが……
魔法少女山田、(1) で、知ってしまったからには……みたいな文言がある以上何かしらの怪異的な何かがありそうではあるんだけどな (人怖に終始するならちょっと違和感がある言い回しな気がする)
ノートで設計してた感じ、一回 Handling してからもう一回 effect に戻す こんな感じ↓です Eff (Expt : hs) a ↓ Eff hs (Either Err a) ↓ Eff (Expt : hs) a という処理を挟んで上げると、operation call が計算の前後に寄る、という現象が大事なのかなと思い始めている
こうすれば internal computation も含め下流から上流へ "順番に" ハンドラを適用出来るので catch の問題とかも解決出来る？可能性があります なんかネストしたりしたときにうまくいかない気もするのでそこは要検証というのと、常に h' から h への逆変換が存在するという仮定が妥当かは分かりません
HO Effect の諸々の問題は Return type が変わることに起因すると思っているので、それが解決出来ないとな……と思っている
シャドバ君、これもしかして「すべてのミッションをクリアする」がミッション判定されてて一生クリアできなくなっている？？ (ポカミス過ぎてかわいい)