3 ms·

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

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 5mo ago
It's Turing complete. What else do you want?
- empath75 5mo ago
  There are many things which are Turing complete which are not programming languages.