[hinkley]

Gilad Bracha wandered off to work on progressively typed languages after he’d had enough of trying to fix Java’s type system.

I think if it took something like JSdoc and have it more teeth you could do something like this in just about any of the dynamically typed languages.

[mpweiher]

Well, he also "wandered in" from doing optionally statically typed languages...see Strongtalk and Newspeak. :-)