My unusual hobby
I&#x27;ve read a fair bit about functional programming but the right-associative nesting of -&gt; still bothers me.<p><i>(first precondition IMPLIES (second precondition IMPLIES (implication))</i><p>is inherently harder for me to understand than<p><i>(first precondition AND second precondition) IMPLIES implication</i><p>even though logically they are the same. The first version carries more mental overhead because it seems to indicate that there is some sort of hierarchy&#x2F;assymetry to the two preconditions.<p>It&#x27;s the same thing when I try to read a Haskell function type signature:<p>f :: a -&gt; b -&gt; c<p><i>f is a function taking a and returning (a function taking b and returning (c))</i><p>vs.<p><i>f is a function taking two parameters a and b and returning c</i><p>There is no hierarchy anyhow because the parameters can be swapped:<p>f&#x27; = \b a -&gt; f a b<p>Curious to know if it&#x27;s just me or there are others who experience the same.