State モナドの代わりに Reader モナドを使う

Posted on 木 30 1月 2020 in プログラミング • Tagged with Haskell, GHC, モナド

注意
この記事は公開当時主張に誤りを含んでいたため,大幅に書き直しています.また,公開当時の主張の誤りについ …

Continue reading

graded monad から monad への埋め込み

Posted on 木 13 6月 2019 in 数学 • Tagged with エフェクトシステム, モナド, 圏論

graded monad から monad への埋め込みについて,考えたので,その覚書.

エフェクトシステムを monad で近似する

エフェクトシステムに …


Continue reading

Scala (Dotty) での Graded Monad によるメタ言語の実装

Posted on 金 07 6月 2019 in 構想 • Tagged with エフェクトシステム, モナド, Scala

Graded Monad のメタ言語,普通にプログラミング言語で実装できそうやなって思って,ちょっとやってみることにした.で,前ね …


Continue reading

Graded Monad とエフェクト

Posted on 木 06 6月 2019 in 数学 • Tagged with 圏論, エフェクトシステム, モナド, プログラム意味論

graded monad について聞きかじって,色々調べたのでそのメモ. graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい …


Continue reading