On 6/22/13 6:38 PM, Brian Anderson wrote: ...
I agree Rust would be great for presenting these issues since it is designed to make the programmer understand the costs of abstractions, but it also doesn't punish them for making errors in the various ways that C does. I totally want this to happen but at this stage basing a university course around Rust would be risky; I don't know anybody teaching Rust so you would be way out on a limb.
Thanks, Brian! I'm willing to go a bit out on a limb here...but not all the way to the leaves. :)
I can imagine that students taking a systems-programming course based around Rust would have to spend a fair bit of time learning how to cope with Rust's novel semantics (affine types in particular). Hopefully those hurdles would still be easier than managing the unsafety of C. Of course there's also the risk of frustrating students with the large number of compiler bugs still present in rustc.
I'm really more of a PL/security guy than an OS one - so, although the course is called "Operating Systems" in our curriculum, I don't mind if students are spending time in the course learning these things (at least the intellectually interesting parts of them, and hopefully any Rust quirks won't get in the way too much).
Not sure how useful they are for preparing a course, but Tim posted his recent tutorial [slides], and there are some other slide decks floating around. [slides]: http://catamorphism.org/Writing/Rust-Tutorial-tjc.pdf
Yes, this is better than the other ones I've seen.
Sorry this isn't so helpful, but I'm happy to offer any further assistance.
Great, thanks a bunch for the offer. I may take you up on this when I get a bit further along.
Cheers, --- Dave
Regards, Brian
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
