> You want to add new features to the language... such as "type checking".
Feel free to put that in scare quotes, as if you can barely register its existence! In fact, that whole enterprise is probably misguided and full of falsehoods, anyways, having witnessed the lies and attacks, first hand, for years! Better nip it in the bud now, while you still can!
Unfortunately, we use quote marks for at least 2 different meanings:
(1) <scare_quote>type checking</scare_quote> ... as dismissive sarcasm
(2) <term_of_art_quote>type checking</term_of_art_quote> ... as a delimiters for industry vocabulary
Based on all the other uses of quotes in the blog post, he's using it as (2) terms of art. Some style guides suggest using italics instead of quotes for terms of art but a nice property of "quotes" is that it survives copy & paste into plain text files.
Feel free to put that in scare quotes, as if you can barely register its existence! In fact, that whole enterprise is probably misguided and full of falsehoods, anyways, having witnessed the lies and attacks, first hand, for years! Better nip it in the bud now, while you still can!