Types, Makers, and Inheritanc

Mark S. Miller markm@erights.org
Tue, 03 Nov 1998 21:10:06 -0800

At 04:31 PM 10/20/98 , Ka-Ping Yee wrote:
>On Tue, 20 Oct 1998, Tyler Close wrote:
>> I don't see how it's necessary to have Type objects in order to have an
>> interface to an instance object. In C++, I never had a need or desire for
>> Type objects.
>That's because the C++ compiler checks types for you.  In a
>dynamically-typed language like E (or Python, etc.) it's useful
>to be able to check and compare the types of things at runtime.

[-] See earlier GUI-enhanced command interpreter
as an example of why you need dynamic protocol queries even in a statically
typed system.