![]() |
Sponsored Link •
|
Advertisement
|
Advertisement
|
This page contains an archived post to the Design Forum (formerly called the Flexible Java Forum) made prior to February 25, 2002. If you wish to participate in discussions, please visit the new Artima Forums.
Message:
The main function (as I understand it) of an ADT is to formally define sets of objects so that set membership is well defined (strong typing). Inheritence is then a subset relationship. In the current state of the art (eg Java) all we have is "syntactic" data typing (matching method name and parameters). Semantic data typing will eventually be moderately successful in very narrow application domains, but will never be able to do what a human mind can do, and so natural language comments / documentation will always remain necessary. Well, never's a long time. Lets just say past _my_ event horizon. Replies:
|
Sponsored Links
|