It's not too different from a static type system. Humans are great at general problem solving, but computers are better at precision (but only when you can prec

It's not too different from a static type system. Humans are great at general problem solving, but computers are better at precision (but only when you can precise measure something).