I agree, it should be mandatory - one of the things I like about Nim is static typing. Oddly enough, the "we are all consenting adults" attitude works in Pytho

I agree, it should be mandatory - one of the things I like about Nim is static typing. Oddly enough, the "we are all consenting adults" attitude works in Python. Most patterns and interfaces are by convention instead of being enforced. People don't abuse Pythons permissive nature very often, and when they do they are frowned upon by the community. I think such deviations are easier to spot in Python compared to other languages, don't really know why.