On 04/04/2011 2:57 AM, Jonathan S. Shapiro wrote: > Moral: we need something that is "textually similar" to inheritance for > transitional purposes.
You could provide a macro expansion via a preprocesor from an inheritance-like abstraction into type classes if it comes to it. As I mentioned in my other message, interfaces/objects are single-parameter type classes of an abstract type. I have nothing against objects per se, except it looks like you're going along the same path to C++/C#/Java, which has a whole host of problems (post-hoc interface implementation, conflating subclassing and subtyping amongst them). If you're going OO, do something more like Scala with its traits and implicits, which solves many of these problems. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
