graded monad から monad への埋め込み

2019年06月13日に投稿 • カテゴリ:数学 • タグ:エフェクトシステムモナド圏論

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

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

エフェクトシステムに …

続きを読む

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

2019年06月07日に投稿 • カテゴリ:構想 • タグ:エフェクトシステムモナドScala

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

続きを読む

Graded Monad とエフェクト

2019年06月06日に投稿 • カテゴリ:数学 • タグ:圏論エフェクトシステムモナドプログラム意味論

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

続きを読む