AttaLambda - Язык на основе чистого лямбда-исчисления

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

AttaLambda — это компактный язык программирования, построенный на чистом нетипизированном лямбда-исчислении. В его основе лежат унарные функции и аппликация, но добавлены читаемый синтаксис, точные рациональные числа и проверки типов во время выполнения. Ввод и вывод осуществляются через отдельную границу с хост-средой. Пример кода: (def square x = (mult x x)) (print (map square (list 1 2 3 4))) выводит [1, 4, 9, 16]. Язык решает задачу изучения лямбда-исчисления в практическом ключе, позволяя писать реальные программы. Попробовать можно на attalambda.com.