We need a typesystem-sanctioned way to cast qualifiers away
Tofu Ninja via Digitalmars-d
digitalmars-d at puremagic.com
Sun Jun 21 18:51:14 PDT 2015
On Saturday, 20 June 2015 at 00:07:12 UTC, Andrei Alexandrescu
wrote:
> ...
I question how much good something like this would do. I feel
like const vs immutable vs shared vs inout is already very
confusing as is, something like this would just add more stuff to
think about on top of it and just make the whole system more
confusing. I know its supposed to be for implementation
internals, but I just worry that it will just make things more
complicated. I feel like the type system is already pretty ugly
right now, do we need to make that worse/is it worth making that
worse?
Also would it be possible to restructure the container to cleanly
separate the mutable and immutable parts? I think if its
possible, it would be a much better solution.
Just my 2c...
More information about the Digitalmars-d
mailing list