Section of an infix operator

Categories: Glossary | Syntax

In Haskell there is a special syntax for partial application on infix operators.

• (2^) is equivalent to (^) 2
• (^2) is equivalent to flip (^) 2

Like partial application and lambda abstraction, sectioning provides a convenient way of writing some functions without having to explicitly name them:

• (1+) (unsugared: (+) 1) is the "increment" function,
• (2*) is the "double" function,
• ('\t':) is the "indent" function,
• (`elem` "AEIOU") is the "is-capital-vowel-in-English" function (ignoring the "sometimes Y").

See also

• Currying

Recent content is available under a simple permissive license.