In Scala, when you say:

class C extends Super with T

that's exactly as when you say in D:

class C : T!(Super)

where T is a class with a parameterized base:

class T(Base) : Base
{
    ... stuff ...
}

Right?

I wish MI were this simple. Bill claimed it is, and I think he's thoroughly wrong.


Andrei