in reply to Open to debate on mixins and traits.

I'd suggest that interfaces are different from mixins, in that they don't provide any code. (Yeah, they could, but when I use the word "interface", people familiar with Java flip a switch in their heads and they think that Java's terrible, terrible, almost completely useless implementation of the idea is what I want. It's not.)

The whole point of roles in Perl 6 is two-fold.

First, as you point out, there's a lot of behavior shared vertically between classes that doesn't make sense to fit into a hierarchy. It'd sure be nice to share that code without having to copy and paste it or do complicated things to your inheritance tree.

Second, it's nice to have meaningful names attached to that behavior that you can use to identify the capabilities of objects. This makes generic programming much, much easier (which I contend is the real point of OO). If you want to print something, you care that it can stringify, not that it is or inherits from String somewhere.

Replies are listed 'Best First'.
Re^2: Open to debate on mixins and traits.
by lachoy (Parson) on Jun 02, 2004 at 21:39 UTC
    I hate to poke the beehive, but what's so terrible about Java interfaces?

    M-x auto-bs-mode

      I like to describe Java interfaces as "multiple inheritance from abstract base classes that live in a secondary type system." Here are four drawbacks:

      • They're a secondary type system completely separate from the primary type system in declaration and use. Is your object a foo or does it merely implement a foo? Why should there be a distinction?
      • They don't provide any code (unless you want to talk about constants defined in interfaces, for which Java's rules have always confused me).
      • You can't add them after the fact to a class without editing its source code and recompiling. This probably springs from the first problem. (If they'd solved the first problem, you wouldn't need to do this!)
      • The standard library doesn't take them seriously enough. If you're going to declare String as final, at least give me some way of providing something that works like a string that the standard library can accept. I think this is also part of the first problem above.

      The first problem is the most damning from the purist's perspective. Java's designers recognized a real problem (a single-rooted inheritance scheme is inadequate to express real solutions), but they created a secondary type system and didn't take it seriously.

      From a practical perspective, the second problem is worse. The designers recognized that a single-rooted inheritance scheme is inadequate to express complex behaviors of real problems, but they completely failed to allow for any code reuse! "Objects that implement this interface all behave similarly, but multiple inheritance is bad so you'll have to copy and paste code to make it work."

        I agree that most problems with interfaces derive from the multiple inheritance workarounds rather than the interfaces themselves. But from a non-purist perspective they're generally quite nice to work with, particularly when you're designing a large system. And using copy-and-paste instead of MI is IME never an actual problem because you can either define it in a common base class or move it to another class and use composition.

        I also agree that for most of the standard library interfaces are not used enough. There are exceptions (collections, io) but they prove the rule.

        As a workaround (to a workaround I guess) there's a good deal of activity around different AOP solutions to implement mixins, even applying them to compiled classes. The only problem with this is the typical problem with AOP -- you don't know by looking at the implementation what it can do or how it can be used, you've got to have knowledge from somewhere else (configuration files or other classes). Or you have to rely on an IDE to do it for you, and then you're tied to a particular tool, which may be even worse.

        M-x auto-bs-mode

Re: Re: Open to debate on mixins and traits.
by BrowserUk (Pope) on Jun 02, 2004 at 17:01 UTC

    I totally agree.

    Examine what is said, not who speaks.
    "Efficiency is intelligent laziness." -David Dunham
    "Think for yourself!" - Abigail