Hacker News new | ask | show | jobs
by masklinn 4122 days ago
Yeah the contract here is a form of nominative type checking, it could just as well be structural.