Difference between revisions of "Weak head normal form"
Jump to navigation
Jump to search
(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...) |
(No difference)
|
Revision as of 00:22, 19 November 2011
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.