GoKawiilAttaLambda: New Programming Language Built Entirely from Untyped Lambda Calculus
A developer released AttaLambda, a small experimental programming language whose core computation is built purely from unary functions and application in untyped lambda calculus. It layers on readable syntax, exact rational number support, and runtime type checks, while keeping input and output handled through a separate host boundary.
GoKawiil's interpretation of the reporting above, not reported fact.
Most languages hide their theoretical foundations behind layers of abstraction, but AttaLambda exposes lambda calculus directly, making it a useful teaching and research tool for understanding computation from first principles. Projects like this also test how far minimalist foundations can be pushed while still supporting practical features like exact arithmetic and type safety.
- AttaLambda is built entirely from untyped lambda calculus primitives.
- It supports exact rational numbers and runtime type checking despite its minimal core.
- I/O is deliberately separated from the language's pure computational core.
Source: attalambda.com, 2026-09-14
Published there as: “Show HN: AttaLambda: a language where types and data are made of untyped lambdas”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.