Types versus sets in math and programming languages by from Hacker News on 2021-07-25 07:42 (#5MJMN) Comments