Lambda calculus is a mathematical formalism that captures a lot of what we care ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

empath75 3 months ago | parent | context | favorite | on: 7 lines of code, 3 minutes: Implement a programmin...

Lambda calculus is a mathematical formalism that captures a lot of what we care about in terms of computation with a few primitives and some rewrite rules. It is not a programming language, by itself.

t0mpr1c3 3 months ago [–]

It's Turing complete. What else do you want?

empath75 3 months ago | [–]

There are many things which are Turing complete which are not programming languages.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact