Loose type checking in E

Tyler Close tyler@lfw.org
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.

Tyler