From: Tyler Close <tyler@lfw.org>
Date: Tue, 20 Oct 1998 02:37:46 -0400
Subject: Re: Types, Makers, and Inheritance

At 01:02 AM 10/19/98 -0700, you wrote:
>  _____
> |     |
> |     | maker objects
> |_____|
> 
>   ___
>  /   \
> (     ) instance objects
>  \___/
>
>  _____
> [_____] type objects
>
>
>                     ________
>                    [_animal_]
>                     ^  ^  ^
>          _______   /   |   \    _____
>         |       |_5    3    6__/     \
>         |Animal-|      |      /Harvey-\
>         | Maker | -------4-> (  the-   )
>         |       |      |      \ Animal/
>         |_______|      |       \_____/
>             ^          |          ^
>             |       ___|____      |
>             1      [_mammal_]     2
>             |       ^  ^  ^       |
>          ___|___   /   |   \    __|__
>         |       |_5    3    6__/     \ 
>         |Mammal-|      |      / Eric- \ 
>         | Maker | -------4-> (  the-   )
>         |       |      |      \ Mammal/
>         |_______|      |       \_____/
>             ^          |          ^
>             |       ___|____      |
>             1      [__dog___]     2
>             |       ^     ^       |
>          ___|___   /       \    __|__
>         |       |_5         6__/     \
>         | Dog-  |             / Fido- \
>         | Maker | -------4-> (  the-   )
>         |       |             \ Dog   /
>         |_______|              \_____/
>

[#] I would like to propose a new design heuristic. Anything that causes Ping
to make a diagram is too complex and must be simplified.

[] I would like the type object and maker object to be identical (ie: no
separate type object). I will also reiterate my desire to eliminate
inheritance.

Tyler