4 ms·
This is an impressive bit of work. The ability to typecheck a tail-recursive type-changing “map” implementation is particularly good, and a lot of practical res
by evincarofautumn 12y ago
This is an impressive bit of work. The ability to typecheck a tail-recursive type-changing “map” implementation is particularly good, and a lot of practical results follow from that. 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.
- protz 12y agoThanks. > 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 agoThere 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 agoI 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. :)