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. I'll just post the summary here: > In summary, I think we can have our cake and eat it too. If we > change the representation of vectors and slices, we can have > composable types *and* all the efficiency and flexibility of the > current system. The price is that we must distinguish "sized" from > "unsized" type parameters. I argue thta this is likely to be a minor > cost, since most of the time parameters that would require a `Sized` > bound will already have a `Copy` or `Clone` bound anyhow. I think > that's pretty exciting, since the non-composability of vector types > has always seemed like a language wart in the making. Niko _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
