Re: relations aren't types?

"Marshall Spight" <mspight_at_dnai.com> wrote in message news:<SHYLb.16240$8H.41065_at_attbi_s03>...

> I follow how integer has no
> logical structure. But the other types you name sound more like
> user-defined types to me; was that you intent? I can imagine a type
> Coordinate with two components, x:int and y:int, (as well as
> associated methods.) That looks like logical structure to me.

But it is not the logical structure of the type, it is the logical structure of a possible representation.

IMHO the key is to see computer programming scalars as a generalization of math scalars.

Regards
  Alfredo Received on Sun Jan 11 2004 - 13:38:36 CET