The Lambda Calculus

What should I read/practice in order to learn the lambda calculus?

I do not know how to/have never programmed functionally.

SICP

>>3
fuck you faggot

No really, read SICP and/or watch the video lesson 2B of 6.001 on youtube. Hal Abelson is explaining this stuff in 10 minutes.

put a dildo in your anii  and sing the sicp tune

Actually, if you read SICP you won't get much in the way of learning about the lambda calculus, save that you will get the intuition that about everything can be done with abstraction and application and a shout out or two to it on the side.

You should better go seek an introduction to it that isn't from Barendregt, because his material is brutal, if thorough. Sorry for being useless, but I haven't surveyed much more material either. The Wikipedia article seems decent, though.

SICP is mush-brained drivel by a pseudo-intellectual cockpouch. It's right up there with TAOCP and K&R as things that idiots read to make people think they're smart.

>>3
U MENA HASKAL

To Mock A Mockingbird.

>>5
Can't find it link? Or should I give up and start a fresh batch of masturbating and self loathing?

<exp> = <variable>
      | <exp> <exp>
      | "λ" <variable> "." <exp>
      | "(" <exp> ")"
      ;


*   let free(e) be the set of all unbound variables in e
*   let [e₁/x]e₂ be a replacement of all unbound occurrences of x ∈ <variable> in e₂ by e₁


α-conversion:
    λx₁.e ⇐⇒ λx₂.[x₂/x₁]e
    where x₂ ∈ <variable> and
          x₂ ∉ free(e)

β-conversion:
    (λx.e₁) e₂ ⇐⇒ [e₂/x]e₁

η-conversion:
    λx.(e x) ⇐⇒ e
    if x ∈ <variable> and
       x ∉ free(e)

>>10
great post