[panta]

A nitpick: correctness and type safety are very different concepts. Type-safe languages don't provide correctness (and vice versa).

[laumars]

They didn’t mention type safety though (Unless they’ve edited their post?)