AttaLambda

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

AttaLambda is active in the show hn launch space.

Profile

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

As a business in show hn launch, AttaLambda is listed here with the public details available about it.

Directory data places it at the Show HN launch stage.

Website: attalambda.com