[bo1024]

But would the code really work without the type checking?

[phist_mcgee]

Are types always correct?

[tobyhinloopen]

No

[tobyhinloopen]

Yes. I had a huge testing suite on the project and all tests were green even though there were tons of type errors.