>I'd be curious to know about any/all languages where types can be passed to functions, returned from functions -- and even generated at runtime by functions...

>I'd be curious to know about any/all languages where types can be passed to functions, returned from functions -- and even generated at runtime by functions... that is, where the language regards types as first-class constructs... Ecstasy (xtclang).