3 ms·

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

• laumars 5y ago
  They didn’t mention type safety though (Unless they’ve edited their post?)