The best perspective I've seen is that statically typed enforcement is basically a unit test done at compile time.