cognitive psychology. PhD 
If you’re ever unsure what functional programming means, just remember—John Backus unambiguously declared that the lambda calculus (and presumably its descendants, like Haskell) is NOT functional programming.
Show this thread
-
Now that's a hot take! Does he also mention which language is functional programming? Because, to be sure, it's an extremely overloaded term, I'm just not sure anything at all is left if we exclude lambda calculus and its descendants
Yes, he explains the distinction in his Turing award speech. https://dl.acm.org/doi/10.1145/359576.359579 … He distinguishes functional programming as simpler than lambda calculus when you lose variable substitution. Instead, you just build from a primitive set of functions and combinators.
