On Wednesday, 15 June 2016 at 11:33:23 UTC, Chris wrote:
But Python for example doesn't care.
Python is fairly dynamic and static analysis tools such as PyCharm helps a lot when you write larger Python projects.
What you describe is basically trying to mimic static typing.
No, you can have something like this: var x = f(42); if(x>100) freeze x;// whether x is immutable or not is not statically known at this point