Technically, a section is the syntax that <i>partially applies</i> the operators.  Currying is a different (though somewhat related) concept; yes, the standard libraries of both Dylan and certain Scheme implementations have gotten that wrong.<p>Currying is when you take a function that takes a tuple, and change it into a function that returns a function.  The Haskell prelude definition has it right:<p><pre><code>  curry            :: ((a, b) -&#62; c) -&#62; a -&#62; b -&#62; c
  curry f x y      =  f (x, y)
</code></pre>
Uncurrying is the reverse, taking a function that returns a function and making it take a tuple instead:<p><pre><code>  uncurry          :: (a -&#62; b -&#62; c) -&#62; ((a, b) -&#62; c)
  uncurry f p      =  f (fst p) (snd p)
</code></pre>
Partial application is when you take the function that currying gave you, and apply it to only some of its initial arguments.  Haskell functions are curried by default (it's pretty easy to define uncurried versions, but it's not what the syntax encourages).<p>&#60;/pedantic&#62;.  Yeah, I think I'm more of a language wanker (wankler?) than you are. ;-)