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

Correctness is a key characteristic of a compiler.

To have something that sometimes checks the types and some times does is not a feasible solution.



Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

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

Search: