Oh, man, I found an essay titled Software And Anarchy, and it seemed like total Cliff-bait, and I was very excited to read it.

And then the first couple chapters are so full of unsourced strawman arguments about things like static type systems that I just... I'm having a hard time getting through it.

Like, at one point it asserts "high level
languages can frequently perform faster than static languages in symbolic processing" (which is a No True Scotsman on what exactly 'symbolic processing' means) and then it links a case of OCaml being a lot faster than C++. Which, yes, that happens! But OCaml is most assuredly a statically typed language, to the core.

I will keep attempting to make it through this, but so far I'm more confused than persuaded.

0

If you have a fediverse account, you can quote this note from your own instance. Search https://hachyderm.io/users/cliffle/statuses/116084527779318575 on your instance and quote it. (Note that quoting is not supported in Mastodon.)