3 ms·
I found the footnote where Dr. Robert Harper's post outlines a type safe definition of the C language to be interesting.
by vezzy-fnord 12y ago
I found the footnote where Dr. Robert Harper's post outlines a type safe definition of the C language to be interesting.
- gabriel 12y agoI 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.