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.
  • Hackerrank Home
  • Prepare
    NEW
  • Certify
  • Compete
  • Career Fair
  • Hiring developers?
  1. Prepare
  2. Functional Programming
  3. Introduction
  4. Lambda Calculus - Reductions #1
  5. Discussions

Lambda Calculus - Reductions #1

Problem
Submissions
Leaderboard
Discussions

Sort 12 Discussions, By:

votes

Please Login in order to post a comment

  • nixphix
    7 years ago+ 7 comments

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

    Youtube Video

    PDF Tut

    Church Notation -Wikipedia

    44|
    Permalink
    View more Comments..
  • Risen_Again
    6 years ago+ 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.

    12|
    Permalink
  • kkweon
    5 years ago+ 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
    
    6|
    Permalink
  • Zhomart
    6 years ago+ 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?

    2|
    Permalink
  • normadyen
    8 months ago+ 0 comments

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

    0|
    Permalink
Load more conversations

Need Help?


View top submissions
  • Blog
  • Scoring
  • Environment
  • FAQ
  • About Us
  • Support
  • Careers
  • Terms Of Service
  • Privacy Policy
  • Request a Feature