By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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.

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.





< 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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions