Loose type checking in E
Fri, 16 Oct 1998 20:29:42 -0400
At 10:42 AM 10/16/98 -0700, you wrote:
>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.
That was point number one. Since you don't get type checking in E, you
don't need and can't use this compatibility.