MainScienceMathLogic and Foundations › Perl Contains the Lambda-Calculus

Perl Contains the Lambda-Calculus

Edit Page
Report
Scan day: 17 February 2014 UTC
14
Virus safety - good
Description: Explains why this computer program is well suited to apply to functional application.
Perl Contains the Lambda-Calculus -Calculus (pronounced `lambda calculus') is a model of computation invented by Alonzo Church in 1934. It's analogous to Turing machines, but it's both simpler and more practical. Where the Turing machine is something like a model of assembly language, the -calculus is a model of function application. Like Turing machines, it defines a simplified programming language that you can write real programs in. Writing Turing machine programs is like writing in assembly language, but writing -calculus programs is more like writing in a higher-level language, because it has functions.
Size: 630 chars

Contact Information

Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Perl Contains the Lambda-Calculus
Keywords:
Description:
IP-address:23.92.19.230

WHOIS Info

NS
Name Server: NS1137.DNS.DYN.COM
Name Server: NS2136.DNS.DYN.COM
Name Server: NS3138.DNS.DYN.COM
Name Server: NS4182.DNS.DYN.COM
WHOIS
Status: clientTransferProhibited
Status: clientUpdateProhibited
Date
Creation Date: 13-oct-1995
Expiration Date: 12-oct-2015