Tony Morris

Humans live in a stateful, mutable, world, and build out intuitions about computers on top of that. If I break a stick, I break it.

I *don't* create a new stick that has the property "broken", or even two new shorter sticks, while the original remains unbroken.

So it isn't your assertions about FP that I take issue with - it's your assertions about how humans learn, and what we find easy.

I know what humans do not find easy: reasoning about programs absent types, immutability, pure functions, totality, ADTs, and so on.

We don't need to reason about programs, we just need computers to do what we want with the data we give them (see also: spreadsheets)

Reasoning about programs as an abstract concept is something *you* want to do, and is especially useful for programs-about-programs.

But the extra layer of abstraction is entirely *un*helpful when the objective is task automation rather than software development as such

I concede there is a tradeoff here: comprehending abstractions -vs- repeating oneself a lot.