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 We're discussing encodings of concepts. I was point out that in a language (Java) w/o GADTs, such an encoding arose. 1/2
-
-
@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 - 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.