python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - lambda-calculus

How would the factorial using y-combinator simplify after repeated substitutions?

I am playing around with understanding how the Y-combinator works in functional programming. I have a basic factorial function which I have translated to: console.log((f => n => (n===0) ? 1 ...
test-img

David542

javascript

functional-programming

lambda-calculus

Votes: 0

Answers: 0

How to encode two distinct Unit types using church encoding

I was studying Haskell and happened to know the church encoding of algebraic data types. For example, the unit type in Haskell can be encoded as a polymorphic function type. But one can also define a ...
test-img

Yuxiang Wei

lambda-calculus

church-encoding

Votes: 0

Answers: 0

Defining lambda addition without using the successor function

I am familiar with defining the ADD function on top of the SUCC function, such as in the following: const ONE = f => a => f(a); const SUCC = n => f => a => f(n(f)(a)); // ...
test-img

David542

javascript

functional-programming

lambda-calculus

Votes: 0

Answers: 1

Latest Answer

const ADD = n1 => n2 => n1(n => f => a => f(n(f)(a)))(n2) // ADD = λnk.n (λnfa.f (n f a)) k This can also be eta-reduced to const ADD = n1 => n1(n => f => a => f(n(f)(a))) ...
test-img

Lauren Yim

beta-reduction in lambda-calculus

I am extremely confused about this one. Given the following rule ("Type and Programming Languages", Benjamin Pierce, page 72): (λx.t)v2 -> [x -> v2]t (* E-AppAbs*) Later in the same...
test-img

dgan

ocaml

lambda-calculus

Votes: 0

Answers: 0

Posts

Questions

Blogs

Jobs