On: Cognitive load is what matters

[lisper]

Sure, but often != always. And if your language forbids type inference then you are burdened with the cognitive load of worrying about types every single time whether there is a good reason in that instance or not.

[wesselbindt → lisper]

There's a difference between inference and coercion, and no one here is arguing against inference, as far as I can tell.