I had the same thought. Harper has lots of interesting posts on his blog: http://existentialtype.wordpress.com/ http://existentialtype.wordpress.com/ (not to me

I had the same thought. Harper has lots of interesting posts on his blog: http://existentialtype.wordpress.com/ http://existentialtype.wordpress.com/ (not to mention his research). I was delightfully surprised running into this comment in a footnote :) Here's the direct link to Harper's comment: http://www.pl-enthusiast.net/2014/08/05/type-safety/#comment-500 http://www.pl-enthusiast.net/2014/08/05/type-safety/#comment... The way that Harper talks about types, such as, "It is not a matter of opinion whether an untyped language is unityped, it is a matter of fact." gives me a different perspective when I program in a language that is effectively unityped.