Hacker News new | ask | show | jobs
by Frieren 277 days ago
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.