On 13-05-01 03:51 AM, Niko Matsakis wrote:
> Hello everyone,
>
> I just thought I'd point out a recent blog post that I think may be of
> general interest:
>
> http://smallcultfollowing.com/babysteps/blog/2013/04/30/dynamically-sized-types/
>
> I'm kind of excited about this idea. Maybe one of you can poke a hole
> in it. In any case, it describes a way to improve our vector/string
> types so that they are more composable.
Sounds like a nice completion of the factoring we were trying to get
right last summer. Nice work. Three questions:
1. Why _exactly_ (if it's possible to reconstruct) did this factoring
not work last time, and what has changed since?
2. What ballpark amount-of-effort do you think the work entails in
implementation, and how much do you think it will perturb code?
It _looks_ to me like .. relatively little on both counts, but it's
hard to know.
3. Are any capabilities lost? I don't see any, but I'm a little
slow on the implications, often. It seems like maybe the GC will
no longer be able to track sizes by looking in pointees, but
that's not so bad; there's a digital trie that already covers
that.
Hopeful, anyways.
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
