In scala, given a `trait Alg[F[_]] { ... }` the `trait Initial[+A] { def inst[F[_]](F: Alg[F]): F[A]` encoding works nicer than GADTs
@pchiusano Visitor pattern doesn't imply void/side effects. Biggest difference is parameterization of data type by constructor + F[_]
-
-
If you insist on mentally translating every concept to OO terminology, despite fact that OO basterdized CT / algebra, go ahead. :)
@tixxit -
@pchiusano I'm just trying to have fun, no need to shut down the discussion like this. I'll stop replying. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.