Re:The Mezzo Programming language
by evincarofautumn on Tuesday May 06, 2014 @02:05AM
(#7703043)
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.
[ Parent
| on HN ]
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 )
Re:The Mezzo Programming language
by evincarofautumn on Tuesday May 06, 2014 @11:41AM
(#7705107)
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. :)