On 2/16/2016 5:35 AM, Dicebot wrote:
In my opinion @mutable would be a disaster of much higher destructive
impact than head const. I am very opposed to it no matter how it is
designed. Once you start considering it, you are better at simply
throwing away existing const system and starting it all from scratch
with D3. Logical const is harmful as it doesn't give and serious
guarantees but gives developer a false sense of confidence.
I agree with you on that, and I've argued from that position before.
Note that head const does not introduce any watering down nor destruction of the
const/immutable/sharing type system. The main downside of head const would be
language complexity.
