Using types to build reliable systemsgithub.com2 points·owainlewis··1 commentOpen articleSaveView on HN