by Paul Rubin <http://phr.cx@[EMAIL PROTECTED]
>
Apr 24, 2008 at 07:06 PM
raould <raould@[EMAIL PROTECTED]
> writes:
> in regular old non-System-F supporting HM systems by generating (sorta
> like C++ template expansion) a new version of id for every type it is
> applied to in foo. Sort of a macro expansion.
Yeah, that is called generic programming and it's been done in
many languages, HM and otherwise. C++ templates are a particularly
messy example.
