On Dec 28, 2011, at 3:10 PM, Sebastian Sylvan wrote: > So simple logic, special cased for just integers (and maybe some > handful of other simple things), but not a full dependent type system.
Sounds like Hongwei Xi's dissertation. I.e., *way* more complicated than you're making it out to be. :) This direction sounds too researchy for Rust. I don't think it's the right direction. Dave _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
