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

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

Scalaの型レベルプログラミングをFizzBuzzにより解説します。

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

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

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

Clojureの準標準的なライブラリ群であるContribライブラリを紹介します。

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

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

Lensの導出を題材に各言語のメタプログラミングを紹介します。

初歩的なプログラムをいろいろな言語を使って記述していきます。