Try Our Apps


WATCH "Lumbersexual"

higher-order macro

higher-order macro in Technology

A means of expressing certain higher-order functions in a first order language. Proposed by Phil Wadler. Higher-order macros cannot be recursive at the top level but they may contain recursive definitions. E.g.
map f l = m l where m [] = [] m (x:xs) = f x : m xs
Expanding a call to this macro is equivalent to specialising a call to map in its first argument.
See partial evaluation.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for higher

Scrabble Words With Friends

Nearby words for higher-order macro