Programming is like an exam. Good students know where errors might occur after they write code. Bad students do not know whether they are right or wrong and whe

Programming is like an exam. Good students know where errors might occur after they write code. Bad students do not know whether they are right or wrong and where they are wrong. Therefore, a variety of complex and lengthy error checking systems, such as static type systems. But this is a costly effort with little effect.