Hacker News new | ask | show | jobs
by duped 1055 days ago
Ownership is part of the type system.