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

About

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.

Discovery history

1. Show HN

   Sep 15, 2026 · 1 observations