lambda abstraction
A term in lambda-calculus denoting a function. A lambda ab straction begin s with a lower-ca se lambda (repre sented a s "" in thi s document), followed by a variable name (the "bound variable"), a full stop and a lambda expression (the body). The body i s taken to extend a s far to the right a s po ssible so, for example an expre ssion, x . y . x+y i s read a s x . ( y . x+y). A ne sted ab straction such a s thi s i s often abbreviated to: x y . x + y The lambda expre ssion ( v . E) denote s a function which take s an argument and return s the term E with all free occurrence s of v replaced by the actual argument. Application i s repre sented by juxtaposition so ( x . x) 42 repre sent s the identity function applied to the con stant 42. A lambda abstraction in Lisp i s written a s the symbol lambda, a li st of zero or more variable name s and a li st of zero or more term s, e.g. (lambda (x y) (plu s x y)) Lambda expre ssion s in Haskell are written a s a back sla sh, "", one or more pattern s (e.g. variable name s), "->" and an expre ssion, e.g. x -> x. (1995-01-24) style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents: [ 2 ] [ = ] [ abbrev ] [ abstraction ] [ actual argument ] [ ad ] [ al ] [ am ] [ an ] [ app ] [ ar ] [ arc ] [ arg ] [ argument ] [ as ] [ ash ] [ at ] [ b ] [ ba ] [ backslash ] [ bb ] [ bd ] [ be ] [ bo ] [ bound variable ] [ br ] [ bs ] [ by ] [ ca ] [ case ] [ cat ] [ cc ] [ ch ] [ ck ] [ co ] [ con ] [ cons ] [ cu ] [ de ] [ do ] [ doc ] [ document ] [ du ] [ E ] [ ed ] [ ee ] [ eg ] [ er ] [ es ] [ et ] [ expression ] [ extend ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ free ] [ function ] [ gh ] [ gi ] [ gu ] [ h ] [ hr ] [ ht ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ is ] [ it ] [ ke ] [ ken ] [ la ] [ lambda-calculus ] [ lambda expression ] [ lc ] [ Lex ] [ li ] [ Lisp ] [ list ] [ lu ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ na ] [ nc ] [ ne ] [ ng ] [ no ] [ ns ] [ op ] [ pa ] [ ph ] [ pl ] [ plus ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ se ] [ sh ] [ si ] [ sit ] [ sk ] [ sl ] [ slash ] [ so ] [ st ] [ su ] [ sy ] [ T ] [ tap ] [ th ] [ to ] [ tr ] [ tt ] [ ua ] [ um ] [ us ] [ va ] [ var ] [ variable ] [ vi ] [ zero ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5251 Reads) |