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

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

Graded Monad のメタ言語,普通にプログラミング言語で実装できそうやなって思って,ちょっとやってみることにした.で,前ねこはるさんが extensible effects に Dotty の union types 使う話してたの思い出して,それと同じ感じで powerset による preordered monoid に対する graded monad ぐらいなら実装できるんじゃねと思ったので, Dotty …


Continue reading

GHC のノートコメントについてのあれこれ

Posted on 土 06 4月 2019 in 構想 • Tagged with Haskell, GHC

https://github.com/myuon/ghc-compiler-notes にコントリビュートしたので,それについてと考えてることとか書く.

なお, myuon さんによる紹介記事も参照: https://myuon.github.io/posts/ghc-compiler-notes/

GHC のノートコメント

GHC のコーディングガイド にも書いてあるが, GHC では長いコメントを書くとき,以下のように主要部分を切り出す運用をしている:

 1 …

Continue reading