alt Hacker NewsThis is super exciting!
Having mutability not be a property of the data, but of the function arguments reminds me a lot of modes from Jane Street’s OxCaml ^1 which is really interesting to me, as OxCaml’s focus is not really about memory management (they still use garbage collection for everything not on the stack). Feels like we might be converging towards a new standard! I can see the morning sun on the horizon :)
> Having mutability not be a property of the data, but of the function arguments [...]
I don't know if you were aware of this, but Rust has that too. (Actually it's a property of any binding, not just function parameters)