Show HN: AttaLambda: a language where types and data are made of untyped lambdas

By kserrec · 2026-09-14 · 2 points · 0 comments

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…

Open the full discussion on BetterNews