Freeモナドで副作用を切り出す - Qiita

はじめに 関数型プログラミングでは、純粋関数を使ってプログラムを組み立てていくことで様々なメリットを享受できます。例えばFunctional Programming in Scalaには以下のように利点が列挙されています。 Because of their modularity, pure functions are easier to test, reuse, parallelize, generalize, and reason about. しかし今日、ほとんどのアプリケーションでは、DBIOなどの副作用が必須です。そこで関数型プログラミングで副作用を扱うアプローチの一つとして、Freeモナドを紹介します。 モナドが怖いという人もいるかもしれませんが、あまり深く考えずに"Freeモナド"という関数型プログラミングのデザインパターンの一つとして考えると良いと思います。 Freeモナドを