higher-order macro

Computing Dictionary

higher-order macro definition

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 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: higher-order function
Next Definition: higher-ranking
Words Near: higher-order macro
More from Thesaurus.com
Synonyms and Antonyms for higher-order macro
More from Reference.com
Search for articles containing higher-order macro
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature