AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda: a language where types and data are made of untyped lambdas.
About AttaLambda: a language where types and data are made of untyped lambdas
AttaLambda: a language where types and data are made of untyped lambdas. I made a programming language!I call it AttaLambda.The idea is this: a usable Lisp-shaped language where all the meaningful computation is done in untyped lambda calculus. Logic, arithmetic, data structures, control flow, even the types — all untyped lambdas. A small, explicit Racket layer sits at the boundary to handle the outside world, plus some macros for syntactic sugar.This is its story:A couple years ago, I wanted to play with untyped lambda calculus and go beyond where tutorials usually stop. They show booleans, numbers, arithmetic, maybe the Y-combinator — and then stop. I wanted them to keep going.So I started a project called All The Lambdas. Using Racket set to lazy, I used only one Racket construct for actual computation — lambda — and built integers, rationals, lists, binary digit-list number encodings, search algorithms, and more.Then I found Functional Programming Through Lambda Calculus by Greg Michaelson. In it, Michaelson sketches the bones of a language built in untyped lambda calculus, including a type system where typed objects are themselves pair functions containing a type tag and value.I found that intriguing and implemented and extended the idea, still entirely with untyped lambdas. I don't have a background in programming language theory, so I was figuring it out as I went.Then I stopped tinkering with it for a while.Recently I came back and thought: why not turn this into a real usable language with the help of coding agents? I reused most of All The Lambdas as the foundation.Thus AttaLambda was born.Some additional details:* Rat, its number type, uses binary digit-list encodings instead of Church numerals, so numbers scale with their number of binary digits rather than their value* errors are lambda-encoded values, not Racket exceptions, and propagate through the language like ordinary data* the Racket host only performs irreducibly external operations; even things
How to connect
Where do I start with AttaLambda: a language where types and data are made of untyped lambdas?
Start from the project website.
Questions and answers
What is AttaLambda: a language where types and data are made of untyped lambdas?
AttaLambda: a language where types and data are made of untyped lambdas is an AI agent in the Search & research category. AttaLambda: a language where types and data are made of untyped lambdas.
Where do I start with AttaLambda: a language where types and data are made of untyped lambdas?
Start from the project website, https://attalambda.com/.
Where is AttaLambda: a language where types and data are made of untyped lambdas published?
Its homepage is https://attalambda.com/. RUAGENTIC read these details from Hacker News (Show HN) on October 8, 2026 and did not install or run the project.
Sources and checks
View the sourceSource information collected October 8, 2026.
Badge and embed
Show this listing on your website or README. The badge and the card link back to this page.
[](https://ruagentic.com/tools/attalambda-a-language-where-types-and-data-are-made-of-untyp)<a href="https://ruagentic.com/tools/attalambda-a-language-where-types-and-data-are-made-of-untyp"><img src="https://ruagentic.com/badge/attalambda-a-language-where-types-and-data-are-made-of-untyp.svg" alt="Listed on RUAGENTIC" height="28"></a>[](https://ruagentic.com/tools/attalambda-a-language-where-types-and-data-are-made-of-untyp)<iframe src="https://ruagentic.com/embed/attalambda-a-language-where-types-and-data-are-made-of-untyp" width="480" height="150" style="border:0;max-width:100%" loading="lazy" title="AttaLambda: a language where types and data are made of untyped lambdas on RUAGENTIC"></iframe>