Why This Matters
AttaLambda is an experimental esoteric-style language demonstrating that types, data structures, and computation can all be encoded purely from untyped lambda calculus primitives, with a friendlier syntax layered on top. While niche, it's the kind of educational project that helps developers and language designers deepen their understanding of foundational computer science concepts like lambda calculus, type theory, and functional programming.
Key Takeaways
- AttaLambda builds its entire computation model—including data and types—from pure, untyped lambda calculus.
- It adds practical features on top of the theoretical core, such as readable syntax, exact rational numbers, and runtime type checks.
- The project serves as an educational/experimental tool for exploring the foundations of programming languages rather than a production-ready tool.
A small language built on lambda calculus
AttaLambda is a small language built on pure, untyped lambda calculus.
Its ordinary computation is built from unary functions and application. It adds readable syntax, exact rational numbers, and runtime type checks. Input and output cross a separate host boundary.
#lang attalambda (def square x = (mult x x)) (print (map square (list 1 2 3 4)))
Output (no trailing newline)
[1, 4, 9, 16]
Explore the language, see examples, or get started.
GoKawiil