AttaLambda - Untyped lambda calculus 기반 언어

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

AttaLambda는 순수 untyped lambda calculus 위에 구축된 작은 언어입니다. 단일 함수와 적용으로 계산을 구성하며, 읽기 쉬운 문법, 정확한 유리수, 런타임 타입 검사를 제공합니다. 입출력은 별도의 호스트 경계를 통해 이루어집니다. 예를 들어, (def square x = (mult x x)) (print (map square (list 1 2 3 4))) 코드는 [1, 4, 9, 16]을 출력합니다. AttaLambda는 lambda calculus의 이론적 순수성을 유지하면서도 실용적인 프로그래밍 경험을 제공하여, 함수형 프로그래밍과 언어 이론에 관심 있는 개발자에게 이상적입니다. 공식 웹사이트에서 언어를 탐험하고, 예제를 보고, 시작할 수 있습니다.