[PRL] first-class polymorphic values

[Dave Herman]

> Some years ago, one of the quirkN languages I use
> for the compiler course featured explicit universal
> quantifiers and allowed polymorphic arguments to
> functions.  There was no type inference at all, but
> the soundness of the type checker wasn't entirely
> trivial.

Yeah, it looks like ECMAScript is going to have something similar to 
what you describe: explicit polymorphism, no inference, and scoped type 
variables. I've found several places where renaming appears to be 
necessary to avoid unintended capture.

Dave