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 Of course, they didn't use CT or have much rigour and most versions used void/side effects. Interesting to me, nonetheless.
-
-
@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.
End of conversation
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.