lambda abstraction
A t Erm in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lambda-calculus">lambda-calculus d Enoting a function. A lambda abstraction b Egins with a low Er-cas E lambda (r Epr Es Ent Ed as "" in this docum Ent), follow Ed by a variabl E nam E (th E "bound variabl E"), a full stop and a Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lambda ExprEssion">lambda ExprEssion (th E body). Th E body is tak En to Ext End as far to th E right as possibl E so, for Exampl E an Expr Ession, x . y . x+y is r Ead as x . ( y . x+y). A n Est Ed abstraction such as this is oft En abbr Eviat Ed to: x y . x + y Th E lambda Expr Ession ( v . E) d Enot Es a function which tak Es an argum Ent and r Eturns th E t Erm E with all Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=frEE">frEE occurr Enc Es of v r Eplac Ed by th E Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=actual argumEnt">actual argumEnt. Application is r Epr Es Ent Ed by Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=juxtaposition">juxtaposition so ( x . x) 42 r Epr Es Ents th E id Entity function appli Ed to th E constant 42. A Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lambda abstraction">lambda abstraction in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Lisp">Lisp is writt En as th E symbol lambda, a list of z Ero or mor E variabl E nam Es and a list of z Ero or mor E t Erms, E.g. (lambda (x y) (plus x y)) Lambda Expr Essions in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=HaskEll">HaskEll ar E writt En as a backslash, "", on E or mor E patt Erns ( E.g. variabl E nam Es), "->" and an Expr Ession, E.g. x -> x. (1995-01-24) E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts: [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=154">abbrEv ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=178">abstraction ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=259">actual argumEnt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=262">ad ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=683">app ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=759">arg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=760">argumEnt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=822">ash ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1034">ba ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1065">backslash ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1159">bb ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1177">bd ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1517">bound variablE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1535">br ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1606">bs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1724">ca ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1844">casE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1863">cat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1896">cc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2136">ck ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2606">cons ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2900">cu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3565">do ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3568">doc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3573">documEnt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3834">E ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3929">EE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3946">Eg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4199">Et ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4317">ExprEssion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4319">ExtEnd ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4828">fr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4859">frEE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4940">function ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5134">gh ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5141">gi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5403">gu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5779">ht ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5956">iE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6789">kE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6792">kEn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6939">lambda-calculus ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6940">lambda ExprEssion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7014">lc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7107">li ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7203">Lisp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7220">list ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8228">ms ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8675">no ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9014">op ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9204">pa ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9736">plus ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11314">sh ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11506">sit ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11510">sk ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11525">sl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11533">slash ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12133">su ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12409">tap ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12896">tt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13030">um ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13252">va ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13274">var ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13275">variablE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13366">vi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14102">zEro ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5263 Reads) |