Sunday, June 17, 2012
Flossing, Seatbelts, And Dynamic Type Checking
"It's all fun and games until someone loses an eye."
Researchers, many of whom were really really smart, deduced that you should floss, and wear seatbelts, and eat a balanced diet.
In software, similarly intelligent researchers determined that strong typing was like flossing and the wearing of seatbelts: a very minor inconvenience that saved you a lot of trouble later on.
Now the trend is increasingly towards dynamic languages that discover type mismatches at runtime.
You know who does that discovering?
Is this really the best we can do? The argument against static type checking boils down to "I'm a very careful driver", which is what every driver thinks right up until they get in an accident.