upvote
> 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)

reply
Interesting! I can’t say I’m that familiar with Rust beyond surface level usage. What feels different is that you can declare a reference as mutable or not in Rust whereas in Valen or OxCaml it’s strictly declared in a function’s arguments.
reply