[PRL] Joel on Software - Making Wrong Code Look Wrong

[Mitchell Wand]

It seems to me that this is an argument for "nominal types": that is,
a set of values and an interface with some additional constraints that
are not captured by the structural type.

Simonyi just meant "nominal type", and the systems guys preempted it
and substituted "structural type" (which in their impoverished type
system, is about the same as "storage class").

--Mitch