Hacker News new | ask | show | jobs
Designing with types: Making illegal states unrepresentable (fsharpforfunandprofit.com)
3 points by kvnhn 860 days ago