Comment by IceDane

Slowly but surely dynamic programming proponents discover the value of statically verifiable correctness. Who'd have thought?