Hacker News new | ask | show | jobs
by movpasd 131 days ago
Type systems, database normalisation, reactive programming (i.e.: non-manual state management), or more generally making illegal states unrepresentable are the software equivalents!