[williamdclt]

I think that's the point, the argument is that a "new" language needs (at least) type safety to successfully dethrone C