scalaz - Free - Qiita

今回試したバージョンは7.1のFreeだ。 Freeとは何だろうか。 Functorと組み合わせて様々な挙動を実現できるモナド。 Freeモナドって何なのさっ！？ Freeの説明は探せば結構出てくるが、どの説明も共通しているのが、 独自のデータ型にFunctorを定義する。 Freeを実行するインタープリタを定義する。 この2点だ。 使ってみる 意味が分からないと思うので、実際に使ってみよう。 まずは型の定義から。 trait Command[+A] case class Cd[A](path: String, next: A) extends Command[A] case class Ls[A](next: A) extends Command[A] case class Done() extends Command[Nothing]