Hacker News new | ask | show | jobs
by lolc 3646 days ago
I meant statically typed, thanks.

The question to me is not whether type checkers are useful tools, but at what point they become a hindrance. If I may rephrase your question: The programs rejected by the type checker, how can they not be bad programs?