[rust-dev] Deca, a new language with goals that largely overlap those of Rust

Niko Matsakis niko at alum.mit.edu
Thu Jan 5 11:21:02 PST 2012

On 1/3/12 2:29 AM, Sebastian Sylvan wrote:
> Saw this over at LtU and thought this might interest a few people
> here: http://code.google.com/p/decac/
> And here's a paper describing it in more detail:
> http://decac.googlecode.com/files/Deca%20Thesis.pdf

I am particularly interested in his algorithm for inference with subtyping:


So far though I find the paper quite hard to understand.  Anyhow, 
perhaps it may be of some use to us someday.


More information about the Rust-dev mailing list