Loose type checking in E

[Bill Frantz]

At 09:15 AM 10/16/98 -0700, Chip Morningstar wrote:
>>Well, here's a vote for doing away with inheritance.
>
>Well, I'm not sure I agree with this proposal, but I *like* it a lot!
>

I like it too.

The one thing inheritance gives me is the assurance that my object's
interface is compatible with the interface I inherit from.  This has the
good effect that I am sure I can substitute my object for the other.  The
bad effect is that I automatically get implementations of methods I may
have wanted to override.  Java interfaces solve both these problems.