On 11/29/10 10:59 AM, Steven Schveighoffer wrote:
On Mon, 29 Nov 2010 11:19:29 -0500, Andrei Alexandrescu
<seewebsiteforem...@erdani.org> wrote:
Ultimately I believe we need to make Rebindable palatable. That would
have the nice side effect of enabling other proxy types.
I think if we get to that point, D will be much more adept at doing a
lot of const things (such as ranges of const types).
The big hurdle is implicit casting IMO. For example C and
Rebindable!(immutable C) needs to implicitly cast to Rebindable!(const
C). Right now, builtins and arrays are the only type constructions that
enjoy implicit casting to their tail-const counterparts. Until we solve
this, any library solution is going to be woefully inadequate.
alias this was meant to solve this problem.
Andrei
