Hacker News new | ask | show | jobs
by opnitro 2261 days ago
In fact all major type systems work this way.