Articles

記事、発表内容のまとめなど。

Extensible Effects in Scala

Freer Monads, More Extensible Effectsで紹介されるEffモナドをScalaを使って解説します。

Stackless Scala With Free Monadsを参考にTrampolineモナドやそれをより抽象化したFreeモナドを紹介します。

Scalaの型レベルプログラミングをFizzBuzzを実装することで解説します。

Scalaにおけるカリー・ハワード同型対応から合併型と全称型を導きます。

Free Applicative FunctorsをScalaで紹介します。

Clojureの特徴を簡単なLisp評価機を作る過程で紹介します。

core.logicを使ったClojureにおける論理プログラミングを紹介します。

Backtracking, Interleaving, and Terminating Monad Transformersを紹介します。