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