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! /be _______________________________________________ Es4-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es4-discuss
