Re: Types, Makers, and Inheritance Tyler Close (tyler@lfw.org)
Tue, 20 Oct 1998 02:37:46 -0400

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