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 In Scala, seems we dropped the visitor pattern in favour of a sealed trait/case class encoding - not an argument pro/con though
-
-
@tixxit For regular ADTs, case classes work great. As soon as GADTs get involved, using case classes often runs into problems.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.