What to Know Before Debating Type Systems Posted by gnosis on Saturday January 19, 2013 @04:39PM from the cdsmith.wordpress.com dept. https://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/ ( 1 comment | 4 points | on HN )