Hacker News new | ask | show | jobs
by naasking 2851 days ago
Traits are subtyped, they are simply a restricted kind of value that makes them more tractable than general value subtyping.