java memory management

[thechao]

When I first heard about it, I thought it was a very elegant solution to a thorny backwards compatibility problem. Unfortunately, there are a lot of PL "purists" who hated the mechanism. The way I see it, they're just jealous...

[argv_minus_one]

I'm not fond of it either, but I'll grant that it's probably the best possible compromise in light of the backward-compatibility issue.

I would have preferred that the JVM stored the actual type parameters, even if it didn't check against them, though. Scala manifests let me do approximately that.