Type declarations definitely help a lot, but: * touching basically any standard library function negates a lot of the benefit * silent coercion still happens

Type declarations definitely help a lot, but: * touching basically any standard library function negates a lot of the benefit * silent coercion still happens everywhere inside a function body Even if strict comparison, you have to spend a lot of code validating the input and it's really easy to forget an edge case.