4 ms·

Thanks. > I don’t expect Mezzo to be the next big thing, but ideas from it will most probably make their way into upcoming type-safe systems languages. I gues

by protz 12y ago

Thanks. > I don’t expect Mezzo to be the next big thing, but ideas from it will most probably make their way into upcoming type-safe systems languages. I guess that's also one difference between Rust and us. Being researchers, we don't have the manpower to turn this into a working, industrial project, so we're hoping that the ideas percolate. Rust, in contrast, it trying to become the next big thing, maybe at the expense of having theoretical soundness results and papers in 10pt LaTeX :).

dbaupp 12y ago
There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).
- dbaupp 12y ago
  (Now that I'm off my phone I can provide the link: https://github.com/anasazi/rust-redex https://github.com/anasazi/rust-redex )
evincarofautumn 12y ago
I will certainly try to incorporate some of these ideas when there comes a time for a self-consistent story about mutation in my own language. :)