On 2011-02-12 2:16 AM, Jonathan S. Shapiro wrote: > Of course, this means that interfaces subsume type classes.
I wouldn't necessarily conclude that. I would say that interfaces conflate overloading with encapsulation. Can you specify an interface that exposes the concrete type rather than hides it? Is interface instantiation implicit driven by constraints as type classes are? Did I miss the message with the concrete proposal for interfaces? If there is a concrete proposal I can read, that may clear up some confusion. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
