Comment by girfan

Partly serious, partly in jest: so type systems are no good?