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 does compete for mindshare. Haskell and OCaml are also free software.
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.
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.
