"Types Considered Harmful" comment
cal@antares.aero.org
Mon, 8 Aug 1994 17:19:47 -0700
I think the paper is a note abou how things _can_ be done with sets,
with no hint of the fact that sets are often _not_ the right way to
provide foundational support for computing, since they fail to match
the kinds of categorization that matches complex situations (due to
uncertainty, vagueness, ignorance, or any of several other problems).
The fact that sets _can_ be used does not imply that they _should_ be used.
more later,
cal