Higher-order macro

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.


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.

< Previous Terms Terms Containing higher-order macro Next Terms >
High bit-rate Digital Subscriber Line
high colour
high density
Higher Education National Software Archive
higher-order function
higher-order macro
High-level Data Link Control
high-level language
high memory area
high moby
High Performance Computing and Communications