Hacker Next
Types are a basic tool of software design (2018)tedinski.com
102 points by gus_leonel 10 days ago | 118 comments