Physics provides a cruel form of type checking that electronics engineers have to deal with, in a way that software doesn’t. Put the wrong voltage on a trace and the type checker fails in a puff of smoke.

Since software won’t be subjected to physics, we have to introduce our own laws to constrain reality. Type checkers are exactly that.