On Friday, February 10, 2017 at 3:10:57 PM UTC, Joey Eremondi wrote: > > It's usually called row polymorphism, and isn't really subtyping, although > you get something like subtyping if you combine it with existential types, > which would lose decidability. >
Yes, Ob<: had existential types. It was long enough ago that I have no idea what that means, but I do remember it had universal and existential qualifiers. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
