Hacker News with Generative AI: Lambda Calculus

Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect.

Lambda Calculus, Programming Languages, Lisp

107 points by baruchel 62 days ago | 17 comments

Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev)
This post is the first in a series on Logic. These ideas are very useful in understanding many important papers on programming language theory, especially papers on type theory and the lambda calculus. I will start with an explanation of sequents and Sequent Calculus as a system for doing logic, then I'll dive into linear logic in the next post. I'll finish the trilogy with a post on Par and computational interpretations of classical logic.

Logic, Programming Languages, Type Theory, Lambda Calculus, Linear Logic

38 points by hoping1 94 days ago | 10 comments

Alligator Eggs and Lambda Calculus (2007) (worrydream.com)
In 2007, I met Philip Wadler at a conference, who mentioned to me that he wanted to teach lambda calculus to his eight-year-old children.

Lambda Calculus, Programming, Education, Children

29 points by veqq 98 days ago | 8 comments

Lambda Calculus in 383 Bytes (2022) (justine.lol)

Lambda Calculus, Programming, Web Development, Computer Science

312 points by MrBuddyCasino 103 days ago | 49 comments

Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
I am a programmer. A Lisp programmer, in fact. I have a creeping desire to understand Lambda Calculus because it's a powerful and elegant tool and an inspiring idea underlying many functional languages and idioms. I use lambdas every day, without knowing their secret power. Might be useful to unleash this power and tame it for productivity.

Lambda Calculus, Functional Programming, Programming Languages, Lisp

54 points by todsacerdoti 167 days ago | 2 comments

Damas-Hindley-Milner inference two ways (bernsteinbear.com)
Damas-Hindley-Milner (HM) is a type system for the lambda calculus (later adapted for Standard ML and the ML-family languages) with parametric polymorphism, aka generic functions. It sits at a sweet spot in PL design: the type system is quite expressive, and there are well known type inference algorithms that require absolutely no annotations from the programmer.

Programming Languages, Type Systems, Lambda Calculus

139 points by todsacerdoti 192 days ago | 11 comments

Introduction to the λ-Calculus (lawrencecpaulson.github.io)
The λ-calculus has had a pervasive impact on computer science – and not just in functional programming languages, most of which can be viewed as extended λ-calculi, but even in modern systems programming languages such as Rust.

Lambda Calculus, Computer Science, Functional Programming, Programming Languages

46 points by matt_d 207 days ago | 19 comments

Λ-calculus using binary numbers of variable length (lambdaway.fr)

Lambda Calculus, Programming Languages, Computer Science

14 points by martyalain 259 days ago | 2 comments

Why is the S combinator an S? (plover.com)

Functional Programming, Lambda Calculus, Computer Science

5 points by fanf2 284 days ago | 0 comments

Programming with Lambda Calculus (hbr.github.io)

Programming, Lambda Calculus, Functional Programming

14 points by dargscisyhp 316 days ago | 0 comments

Lambda Calculus Interpreter (netlify.app)