On Thu, Oct 9, 2014 at 8:22 AM, Victor Barua wrote: > I'm interested in a project from a programming languages > perspective. It's an area I've recently gotten into and it would > also align with the research focus of my supervisor. I think it > would be interesting to work on some static analysis tooling. Sean > mentioned a test coverage tool earlier in the thread which is > actually a pretty good baseline for a project as it's a combination > of mucking with the language internals (which I could talk about in > a report) and implementing a useful tool. Your idea about proving > properties of Rust programs would also make an excellent project as > its a great combination of theory and implementation. > > I'd like to thank everyone for the ideas so far, there's a lot of > good material and I'm slowly accumulating project ideas to run past > my supervisor. If you've got more keep them coming.
Two things I've been missing which are language level problems: alignment syntax https://github.com/rust-lang/rust/issues/4578 https://github.com/rust-lang/rfcs/issues/282 https://github.com/rust-lang/rfcs/issues/325 bit syntax https://github.com/rust-lang/rust/issues/5346 https://github.com/rust-lang/rfcs/issues/346 _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
