Static typing can find type errors reliably at compile time, which should increase the reliability of the delivered program.
Static typing can find type errors reliably at compile time. This should increase the reliability of the delivered program.