Hacker News new | ask | show | jobs
by philipwhiuk 32 days ago
The problem with encoding stuff in type systems is where you stop.