> In functional programming, though, this is not the case. That's an artifact of the language, not inherent to functional programming. (I had a longer response in mind, might write it up later when I get time.)
I've read a fair bit about functional programming but the right-associative nesting of -> still bothers me. (first precondition IMPLIES (second precondition IMPLIES (implication)) is inherently harder for me to…
> In functional programming, though, this is not the case. That's an artifact of the language, not inherent to functional programming. (I had a longer response in mind, might write it up later when I get time.)
I've read a fair bit about functional programming but the right-associative nesting of -> still bothers me. (first precondition IMPLIES (second precondition IMPLIES (implication)) is inherently harder for me to…