> Because the compiler can't check program correctness only type correctness How is this evidence for it being a waste of time? No solution is perfect yet many

> Because the compiler can't check program correctness only type correctness How is this evidence for it being a waste of time? No solution is perfect yet many are worthwhile.