Hacker News new | ask | show | jobs
by afiori 695 days ago
a typing of any cannot be unsound because it is always correct, narrowing any can be unsound.