Можно ли сделать Free Monad в Clojure?
Там было несколько выдающихся работ с Монад в ClojureКонрад Хинсен, Джим дуэй а такжеЛеонардо Борхес.
Мой вопрос - возможно ли сделать Free Monad в Clojure?
Это пример на Хаскеле из статьи о Scala:
data Free f r = Free (f (Free f r)) | Pure r
Это соответствующий пример Scala
sealed abstract class Free[S[+_], +A](implicit S: Functor[S]) {
final def map[B](f: A => B): Free[S, B] =
flatMap(a => Return(f(a)))
final def flatMap[B](f: A => Free[S, B]): Free[S, B] = this match {
case Gosub(a, g) => Gosub(a, (x: Any) => Gosub(g(x), f))
case a => Gosub(a, f)
}
...
}