On 1/18/2011 9:37 PM, Rich Cooper wrote:
> As for RECOGNIZING instances, every instance has a known class
> derivation line from a type statement, so it isn’t necessary to
> calculate that – the compiler knows it at symbol binding time. (01)
That's true. But the type definition comes first. The instances
are created from the type definition, but they don't define the type. (02)
John (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|