Hacker Newsnew | comments | show | ask | jobs | submit login

I went to dependent types specifically because I figured we meant static avoidance without resorting to checked arithmetic. (better performance)



Sure, that would be a good reason to go there. I didn't mean to cast aspersions at dependent types. I was just confused/amused at the typical case being cast as a hypothetical.

-----




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: