Weak head normal form
Revision as of 00:22, 19 November 2011 by Henk-Jan van Tuyl (talk | contribs) (New page: An expression is in weak head normal form, iff it is either: * a constructor (eventually applied to arguments) like True, Just (square 42) or (:) 1 * a built-in function applied to too few...)
An expression is in weak head normal form, iff it is either:
- a constructor (eventually applied to arguments) like True, Just (square 42) or (:) 1
- a built-in function applied to too few arguments (perhaps none) like (+) 2 or sqrt.
- or a lambda abstraction \x -> expression.