Hacker News new | ask | show | jobs
by xfer 2989 days ago
Most languages have that, they encode it in the type system.