Open main menu

Linux and Unix Users Group at Virginia Teck Wiki β

Changes

VTLUUG:2016-03-24

205 bytes added, 01:09, 25 March 2016
Lambda Calculus for Babies: Retarded Babies
Lambda Calculus forms the fundamentals of functional programming. If it can be described as a function,
it can be described in the lambda calculus and consequently written in Haskell
 
=== Alpha equivalence ===
* Variable name doesn't matter
 
=== Beta reduction ===
Meat of Lambda calculus.
 
Ex:
 
<pre>
(ƛx.x)2
(ƛ[x:=2x])
2
 
 
(ƛz.zz)(ƛy.yy)
(ƛ[z:=(ƛ
 
</pre>
 
=== Currying ===
 
 
[[Category:VTLUUG:Meetings]]
[[Category:2016]]
Anonymous user