|
|
lambda abstraction
A term in lambda-calculus denoting a function. A lambda
abstraction begins with a lower-case lambda (represented as
"\" in this document), followed by a variable name (the "bound
variable"), a full stop and a lambda expression (the body).
The body is taken to extend as far to the right as possible
so, for example an expression,
\ x . \ y . x+y
is read as
\ x . (\ y . x+y).
A nested abstraction such as this is often abbreviated to:
\ x y . x + y
The lambda 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 symbol
lambda, a list of zero or more variable names and a list of
zero or more terms, e.g.
(lambda (x y) (plus x y))
Lambda expressions in Haskell are written as a backslash,
"\", one or more patterns (e.g. variable names), "->" and an
expression, e.g. \ x -> x.
(1995-01-24)
Try this search on OneLook / Google
Nearby terms:
lalr.ss « Lambada-Calculus « LAMBDA « lambda abstraction » lambda-calculus » lambda expression » lambda lifting
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Brainstorm: The Game ShowBrainstorm: The Game Show Brainstorm is Nonstop Trivia, Hilarity and Authentic Game Show Fun! Challenging trivia, a variety of contestant personalities trading barbs between questions and the classic game show host are all included in this all-new modern rendition of the classic quiz game show. Windows 98/ME/2000/XP More ...
Intel PIII 1.26GHz 133MHz 512KB Socket 370 CPUIntel PIII 1.26GHz 133MHz 512KB Socket 370 CPU ** Intel Pentium III 1266MHz FCPGA2 CPU**General Features:- Intel Pentium III 1266MHz (1.26GHz)- 1266/512/133/1.45v- FCPGA2/"Flip Chip" 2- 133MHz Bus Speed- S-Spec: SL5QL- CPU Only- Heatsink and Fan Not Included Compatibility/Requirements/Disclosures: * Motherboard that can run a Celeron 1266MHz FCPGA2CPU,(needs 133MHz Bus Support)* Heatsink and Fan More ...
3-pc 2.1 Active Speaker System - 2 for $49.993-pc 2.1 Active Speaker System - 2 for $49.99 ** 3-pc 2.1 Active Speaker System - 2 for $49.99 **This 3-piece magnetically shielded 2.1 Subwoofer speaker system delivers high-fidelity sound! The two Satellite speakers feature 2.5-inch full range speakers. The Subwoofer features a 4-inch speaker and Volume, Bass, and Treble knobs.General Features:- Black Profile- Digital 2.1 home theater performance- Subwoofer made of High intensity wood- 4-inch professional design subwoofer driver.- 2.5-inch full range satellite speaker, satellite design for higher efficiency- Magnetic shield- S/N rate: 76dB (A)- Power indicator LED on the front panel- Low noise amplifier design- Front panel controls for Volume, Bass, and Treble adjustmentsSpecifications: - 32-watt (RMS) total- Frequency response 20 Hz ~ 200 Hz (subwoofer)- 4-inch 6 ohm- Frequency response 100 Hz ~ 20 KHz (stallite)- 2.5-inch 4 ohm- Power input (120VAC ~ 60 Hz)- Input jack: RCA jackRetail Package Includes:- Two (2) Satellite Speakers- One (1) Subwoofer- One (1) Control Module- Power Supply Adapter (120VAC ~ 60 Hz)- Audio in cableNotes:- Model: CST6000 Compatibility/Requirements/Disclosures:** Requirements *** Available Power Outlet* Available audio source More ...
Handheld Mini LCD Projection ClockHandheld Mini LCD Projection Clock ** Handheld Mini LCD Projection Clock **This nifty little handheld device can project the time onto any surface. Its high intensityLED light beam is ideal for dark environments!Order yours today!General Features:- Gray and Black profile- High intensity LED light beam for projector- LCD Clock project onto any surface- Set to protect seconds only or alternating month and date/time- Pocket Sized with keychainRegulatory Approvals:- CERetail Package Includes:- Mini LCD Projection Clock Compatibility/Requirements/Disclosures: ** Requirements *** The need for this item More ...
Nvidia TNT2 32MB AGP Video CardNvidia TNT2 32MB AGP Video Card ** Nvidia TNT2 32MB AGP Video Card **Featuring the Nvidia TNT2 chipset, this quality video card delivers 32 MB of video memory on a PC with an AGP slot! Order yours today!General Features:- Nvidia TNT2 chipset- 32 MB memory- AGP interface- Standard 15-pin VGA connectorNotes:- Video card only- IBM FRU: 09N5033 Compatibility/Requirements/Disclosures:** Requirements *** Available AGP slot* VGA monitor or better More ...
Acorp 4S648FXL SiS 648FX Socket 478 ATX MB w/SndAcorp 4S648FXL SiS 648FX Socket 478 ATX MB w/Snd ** Acorp 4S648FXL SiS 648FX Socket 478 ATX Motherboard **This Acorp 4S648FXL Motherboard provides an excellent foundation for creating a great system! It features the SiS 648FX + 963L chipset, supports Hyper-Threading technology, and supports 400/533/800 MHz FSB. This socket 478 motherboard includes 6 channel AC'97 integrated audio CODEC, two IDE controllers, and one floppy controller. Expansion is provided with a 4x/8x AGP slot, five PCI slots, and a CNR slot. This Acorp ATX motherboard supports Intel Pentium 4 1.6 - 3.2 GHz Socket 478 processors. Buy your Acorp 4S648FXL motherboard!General Features:- SiS 648FX + 963L chipset- Supports Hyper-Threading technology- ATX form factor - Socket 478- Supports 400/533/800 MHz FSB - Supports up to 3 GB DDR RAM (DDR333 x3, DDR400 x 2)- Two (2) UDMA/66/100/133 IDE controllers - One (1) floppy controller - 6 channel AC'97 integrated audio CODEC Expansion Slots: - One (1) 4x/8x AGP slot - Five (5) PCI slots - One (1) CNR slot- Three (3) 184-pin DIMM slotsI/O Ports: - Two(2) PS/2 ports - Two (2) 9-pin standard serial ports - One (1) 25-pin standard parallel port - Six (6) USB 2.0 ports (four on back and two via header)- Line in, Microphone, and line-out jacks Supported Processors:- Intel Pentium 4 1.6 - 3.2 GHz Socket 478 CPU- Note: Does not support Prescott core CPUsBIOS Features:- Award BIOS- Plug and Play- Supports DMIRegulatory Approvals: - CE Retail Package Includes:- Acorp 4S648FXL SiS 648FX Socket 478 ATX Motherboard - Manual- Drivers and Utilities CD - One (1) 40-pin, 80-wire IDE cable - One (1) floppy disk cable - I/O Shield Compatibility/Requirements/Disclosures: ** Requirements *** ATX case* ATX power supply* Supported processor* Supported RAM* Rest of system More ...
|
