4 ms·What To Know When Debating Type Systems2 points by wting 12y agojroesch 12y agoJust gave this a quick skim but it seems right on point, and clarifies a bunch of the fundamental issues at play when comparing type systems.