While Bracha does nothing but diss type systems in his talk on Newspeak , he's actually working on optional type systems (see Gilad is R...

I just watched Gilad Bracha's talk Newspeak: A Principled Dynamic Language , and I find myself disagreeing with most of what he says. Fo...