Hacker News new | ask | show | jobs
by cpurdy 1241 days ago
>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).