[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Any and Every... (was Re: Eval)


I have a naive question which will probably amuse everyone who has 
a better understanding of types, but I thought I'd ask anyway.

If "any" is the union of all types, that means any value of any 
type is "assignable" to a "variable" of type "any," correct?

Is there also a type "every" that is the intersection of all types? 
If so, what are it's values? Is "every" isomorphic to "NULL" or 
something similar, i.e. it can be assigned to everything else but 
nothing can be assigned to it? Or does it not make sense at all?


On Tuesday, January 8, 2002, at 08:28 , Howard Stearns wrote:

> "evaluate" is currently a normal procedure whose static return type is
> "any".  "any" is the union of all types.  The code (taken as a string)
> is evaluated in a top-level environment.
Peter H. Froehlich []->[!]<-[] http://nil.ics.uci.edu/~phf/
OpenPGP: D465 CBDD D9D2 0D77 C5AF  353E C86C 2AD9 A6E2 309E