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

This is only true if you don't use a type checker. If you do use a type checker...types are checked.

It's still not really a sound type system, though. Many safe languages have some kind of escape hatch for the type system, but the escape hatches are very close at hand in Python's typing and you see them used several orders of magnitude more often.



Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: