Hacker News new | ask | show | jobs
by whattidywhat 457 days ago
Asking a compiler to understand a programmers intent for underspecified mutability is beyond the halting problem.