AttaLambda - Small language built on untyped lambda calculus

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

AttaLambda ist eine minimalistische Programmiersprache, die auf reinem, untypisiertem Lambda-Kalkül basiert. Sie kombiniert die theoretische Eleganz unärer Funktionen mit praktischer Lesbarkeit: exakte rationale Zahlen, Laufzeit-Typchecks und eine klare Trennung von Ein- und Ausgabe über eine Host-Grenze. Ein einfaches Beispiel zeigt die Leistungsfähigkeit – eine quadratische Funktion, angewendet auf eine Liste, liefert sofort das Ergebnis. Ideal für alle, die die Grundlagen funktionaler Programmierung verstehen oder mit Lambda-Kalkül experimentieren möchten. Auf der Website gibt es Beispiele und einen Schnellstart.