tail recursion modulo cons

Also found in: Wikipedia

0.01 sec.

(programming, compiler)

tail recursion modulo cons - A generalisation of tail recursion introduced by D.H.D. Warren. It applies when the last thing a function does is to apply a constructor functions (e.g. cons) to an application of a non-primitive function. This is transformed into a tail call to the function which is also passed a pointer to where its result should be written. E.g.

f [] = [] f (x:xs) = 1 : f xs

is transformed into (pseudo C/Haskell):

f [] = [] f l = f' l allocate_cons

f' [] p = { *p = nil; return *p } f' (x:xs) p = { cell = allocate_cons; *p = cell; cell.head = 1; return f' xs &cell.tail }

where allocate_cons returns the address of a new cons cell, *p is the location pointed to by p and &c is the address of c.

[D.H.D. Warren, DAI Research Report 141, University of Edinburgh 1980].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Taiga taiga climate Taiga Fauna Taiganos Taiginka Taihang Shan Taiho Code Taiiku-no-Hi Taika Taiku Tail tail assembly tail bay tail beam tail call optimisation tail call optimization tail circuit tail clipping tail cut tail fin tail house tail joist tail out tail pulley tail recursion tail recursion modulo cons tail recursion optimisation tail rope tail sheave tail surface tail track system tail trimmer tail warning radar tail-rope system tail-strict tailboard tailgate tailing tailing in tailing iron Tailing Pond Tailings tailings settling tank Taille Taillefer tailor tailorbird Tailpiece tailpipe tailplane tailrace			Tail Packet Discard tail paint tail paint tail paint tail paint tail paint tail paralysis tail paralysis tail paralysis tail paralysis tail paralysis Tail piece Tail piece Tail piece Tail Pinch Tail Probability of the Proportion of False Positives tail pulley tail pulse tail pulse tail pulse tail pulse tail pulse tail pyoderma tail pyoderma tail pyoderma tail pyoderma tail pyoderma tail race Tail recursion Tail recursion elimination tail recursion modulo cons tail recursion optimisation Tail recursion optimization Tail recursive tail restraint tail restraint tail restraint tail restraint tail restraint Tail Retarding Device Tail rhyme Tail rhyme Tail rhymes Tail rhymes Tail rhyming Tail rhyming tail rigidity tail rigidity tail rigidity tail rigidity tail rigidity tail root tail root tail root tail root tail root tail root eczema tail rope tail rotor tail rotor Tail Rotor Blades

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.