also const correctness in C++ is ... painful. the ...

# language-proposals

[mikehearn]

also const correctness in C++ is ... painful. the JVMs way to do it is to have immutable types rather than allow code to express it won't mutate mutable types