Close review of Language Overview whitepaper

Brendan Eich brendan at
Thu Nov 15 10:00:30 PST 2007

On Nov 14, 2007, at 11:56 PM, Brendan Eich wrote:

> Modula 3 had branding for making nominal types from structural  
> types, but going the other way, "unbranding" a nominal type to get  
> a structural type, has no precedent I know of,

Shaver pointed to generic metaprogramming using C++ templates, which  
is close -- but of course the C++ static type system must make sense  
of everything before runtime, and you can't forge an instance of a C+ 
+ class. Important safety tip!


More information about the Es4-discuss mailing list