lambda abstraction
A term in lamBda-calculus denoting a function. A lam Bda a Bstraction Begins with a lower-case lam Bda (represented as "" in this document), followed By a varia Ble name (the " Bound varia Ble"), a full stop and a lamBda expression (the Body). The Body is taken to extend as far to the right as possi Ble so, for example an expression, x . y . x+y is read as x . ( y . x+y). A nested a Bstraction such as this is often a BBreviated to: x y . x + y The lam Bda expression ( v . E) denotes a function which takes an argument and returns the term E with all free occurrences of v replaced By the actual argument. Application is represented By juxtaposition so ( x . x) 42 represents the identity function applied to the constant 42. A lamBda aBstraction in Lisp is written as the sym Bol lam Bda, a list of zero or more varia Ble names and a list of zero or more terms, e.g. (lam Bda (x y) (plus x y)) Lam Bda expressions in Haskell are written as a Backslash, "", one or more patterns (e.g. varia Ble names), "->" and an expression, e.g. x -> x. (1995-01-24) In addition suitaBle contents:<Br>[ 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 - (5253 Reads) |