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]` を出力。言語の探索、サンプル、入門ガイドが公式サイトで提供されています。