On 11/8/13 9:38 AM, Benjamin Striegel wrote:
> I would like to take steps to move to that world post Rust 1.0.
I'd be interested to read more about this, and the reasons why it must
be deferred until after 1.0. Is it just "too much work to do right now",
or does it require some broader ambitious feature (HKT, etc)?
IIRC Niko mentioned that it requires higher kinded types. I hadn't
thought too much about the precise definition of the smart pointer trait.
But it's also too much work to do right now, and doesn't seem like it's
going to get us into much trouble regarding backwards compatibility.
Having one ultra-common smart pointer type built into the language seems
rather harmless. After all, in C++ there is a default `operator new`,
and having to say `new(Unique)` would be pretty annoying for the
commonest type of pointer.
Patrick
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
