Re: relations aren't types?

From: Adrian Kubala <adrian_at_sixfingeredman.net>
Date: Thu, 8 Jan 2004 20:11:04 -0600
Message-ID: <slrnbvs3do.15h.adrian@sixfingeredman.net>

John Jacob <jingleheimerschmitt_at_hotmail.com> schrieb:
> There *are* values that are not relation or tuple values. What should
> we call these kind of values? Hey, how bout scalar.

Maybe we should look at other type systems. What sorts of types do most type systems have? Product types, like the types of rows in relations. Sum types, like enum. Recursively-defined sum types, like lists. Polymorphic type constructors, like lists, vectors, or functions. Base types like integers.

Types are types -- I don't understand your insistence on calling some types scalar and other types not scalar. What's the difference?

And I have to ask, what's an example of a user-defined scalar type? Received on Thu Jan 08 2004 - 20:11:04 CST