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

Dependent typing would be throwing out the entire type system, and also be incredibly ambitious. Dependent type systems are great, but I think the Rust team made the right decision here.


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

Search: