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.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ad ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ argument ] [ at ] [ b ] [ be ] [ by ] [ ca ] [ ch ] [ ci ] [ co ] [ con ] [ cr ] [ cu ] [ de ] [ ding ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ er ] [ eS ] [ evaluation ] [ fi ] [ file ] [ function ] [ ge ] [ gh ] [ gu ] [ h ] [ higher-order function ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ ir ] [ iS ] [ it ] [ la ] [ language ] [ Lex ] [ li ] [ lu ] [ ma ] [ macro ] [ map ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ng ] [ ni ] [ nn ] [ no ] [ nS ] [ op ] [ pa ] [ partial evaluation ] [ pe ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ recurSive ] [ recurSive definition ] [ ro ] [ S ] [ Se ] [ Si ] [ Spec ] [ St ] [ ] [ th ] [ to ] [ ua ] [ um ] [ va ] [ ve ]