Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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 :).



There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).


(Now that I'm off my phone I can provide the link: https://github.com/anasazi/rust-redex )


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. :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: