すべてが「ラムダ」でできた、新しいプログラミング言語
Show HN: AttaLambda: a language where types and data are made of untyped lambdas
💬 In one line
プログラミング言語の作者が発表した試作品です。
ふつうのプログラム言語で当たり前にやることを、
すべて同じ基本的な計算方法（ラムダと呼ぶ）だけでやらせる実験です。
✨ What it does
-
データも動きも型も、全部同じやり方で作る
ふつうのプログラムは色々な「部品」を組み合わせますが、これは最小限の部品で全部を表現します。シンプルで一貫しています。
-
割り切れない計算も正確に計算できる
コンピューターが計算するとき、普通は近い数字で「だいたい」答えます。でもこの言語なら1/7 = 1/7 のままで正確に扱えます。
-
間違いを普通のデータとして扱える
エラーが起きたときの対応を、他のデータと同じ方法で書けるので、プログラムが書きやすくなります。
🛠 Who it helps
プログラムの理論や基礎に興味のある学生さんや、プログラム言語を作る側に関心がある人向けです。会社の仕事で使うというより、「こういう仕組みって可能なのか」を試してみたい人向けの試作品です。
⚠️ Caution
まだ作りたての試作品（バージョン 0.7）です。実用的なプログラムをこれで作る場面は限られています。
🔗 Original
The write-up above summarises the original. See it for the exact details.
The headline and summary are an AI's Japanese rendering of a page published by an individual or a small team. They can diverge from the original. For the exact wording, follow the link to the source. Terms of Use