// HACKER NEWS — CYBERSECURITY

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

Published: 09/14/2026, 04:21 PM

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. Explore the language, see examples, or get started.