5 ms·

Go read the link I posted by Professor Robert Harper before accusing me or anyone else of not understanding type theory. Whether you like it or not, technology

• acdha 8y ago
  Prof. Harper didn’t mention Python. He definitely didn’t accuse people of dishonest advocacy. Stop using his name to support your comments. You could try to do something positive like talk about how Haskell does something neat which Python doesn’t support. I can think of several examples which are far more interesting than arguing over whether your personal definition of “strong typing” is universally shared.
  • willtim 8y ago
    > He definitely didn’t accuse people of dishonest advocacy. Have you actually read it? "Like most marketing tactics, it’s designed to confuse, rather than enlighten, and to create an impression, rather than inform."
    • acdha 8y ago
      You really aren’t willing to avoid personal attacks, are you? It’s not doing anything productive. The main thing I took away from that post was his belief that the static / dynamic divide was a false dichotomy. I do agree, however, that I was incorrectly remembering it too charitably: he and you are both willing to distract by accusing other people of acting in bad faith without bringing evidence to support such a strong accusation.
      • willtim 8y ago
        I missed off a smiley, nothing personal was meant by it. Some of your posts have appeared abrasive too. Let's just agree to disagree.