> let the compiler tell you That's really the crux of it. Types are a way to talk to the compiler and it will be your primary target. Humans will also benefit

> let the compiler tell you That's really the crux of it. Types are a way to talk to the compiler and it will be your primary target. Humans will also benefit somehow, but it's secundary and they won't be the one who'll give you a tough time. I see it: - strict types guarantee the compiler is happy but you'll need to bend yourself to make sure it actually matches your intent - loose types help you properly express your intent, but you're one the hook to make sure the interpretor does what you said.