Is it worthwhile introducing some simpler overlapping syntax for declaring interfaces so new comers are not exposed to the whole type class concept ?
Ben Type classes are just post-hoc interfaces, so you're no longer limited to a declaration-time hierarchy. The real question is inheritance. In what ways is inheritance useful? >From what I can see, it's most useful application are default implementations of methods. But this can be provided by type classes as well. Subtyping too.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
