What To Know Before Debating Type Systemsblog.steveklabnik.com10 points·benwr··0 commentsOpen articleSaveView on HN