We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
  1. Prepare
  2. Functional Programming
  3. Introduction
  4. Lambda Calculus - Reductions #1
  5. Discussions

Lambda Calculus - Reductions #1

Sort 12 Discussions, By:

  • nixphix
     + 7 comments

    If you are new to lambda calculus following video & links will help

    Youtube Video

    PDF Tut

    Church Notation -Wikipedia

  • Risen_Again
     + 0 comments

    I started coding a lexical parser for this. Then read a comment that we just have to write plain text answer for the given expression. Facepalm.

  • kkweon
     + 1 comment
    (Function)argument 
e.g (λx.(+1)x)3 = (λx.+1 x)3 = (+ 1 3) = 4

    ((λx.(x y))(λz.z))

= (λx.(x y))(λz.z)
= ((λz.z)y)
= (λz.z)y
= y

  • Zhomart
     + 1 comment

    Hi, I still don't understand why application can be written in the statement of the function?

    E.g. λx.(x y)

    Shouldn't it be written as (λx.x)y?

  • normadyen
     + 0 comments

    The problem with how to rename a variable is difficult. Love spells UK

Load more conversations