What To Know Before Debating Type Systems - Literate ProgrammingLinkShared 27 April 2019blog.steveklabnik.com ↗