### LAMBDA CALCULUS

We open Computation's core:
Do we find wires when we explore?
Ones and zeroes? diode junctions?
Nope, there's no there there -- but functions!

After which the bound var's crammed, a-
Long with dot, and then the text
Of function body follows next.

Application starts with beta:
Real arg copied in for formal
If evaluation's normal.
(Use alpha since there's nothing shaming
In the need to do renaming).

self copy self copy self copy self copy...
self self self self ... copy copy copy copy
When trapped in infinite regress
You'll never find a clear egress.

Just prevent it with abstraction,
Whose binding will delay the action,
And which when used on selfapply

We build logic (and, or, true),
Numbers, cons, car, cdr too,
Arithmetic, with a typed version,
Structures, conds, Y not recursion?

Thus o'er the world we'd vainly search
To find one clever as A. Church.
Lambdas from his ivory tower
Match Turing's mechanistic power.

-- C. Brown 2009

### SCHEME

``` (define poetic-sum
(lambda (number num)
(if (< num 1) number
(+ (poetic-sum
(+ 1 number num)
(- num 1)) num))))
```
D. Riley

### MATLAB(TM)

```diary delete shg,
pack sort flops ans svd.
num2str stairs atan2,
magic startup residue.

who cumsum qz qr?
i ans pi inf errorbar!
any mean & global plot
' == ^ ~

modred plotconfusion dare?
display brighten candle care!
placepole damp impulse feedback,
zoom off now get series stack.

weekday highlow amortise,
double softmax margin size!
fetch initial canon, mae;
maxdrawdown on thirdwednesday.

elseif break:  pause,  reshape spline,
echo toeplitz, return sin.
finite polar fft,
contour logspace std.

if delete isstruct for sum,