> I will suggest that at least some of the people who complain that types make it harder to write a program are actually annoyed that it makes them write more-c

> I will suggest that at least some of the people who complain that types make it harder to write a program are actually annoyed that it makes them write more-correct code. I think this is the honest answer!