> My brain can process only so much information, the less thing it has to process (like the less type declarations) the better. Ignoring that I've already ment

> My brain can process only so much information, the less thing it has to process (like the less type declarations) the better. Ignoring that I've already mentioned inference that makes this a non-issue. My other problem with this is that just because you don't have a type system or don't have to write types, doesn't mean that the constraints of that 'information' goes away. Your function still has a set of invariants that need to be maintained, you've just opted to make them invisible and have your program crash when they are violated. Instead of knowing statically when you've made a mistake.