ぜひ, 開発に参加してください!
安全で, 信頼性のあるプログラムを書きやすいようなプログラミング言語。
とりあえず Ruby のサブセットを作ることにしたので、このセクションは関係なくなりました。
Ruby v1.8.0 のリリースが2003年, v1.6.0 のリリースが2000年。20年以上が経過。もはや Ruby はトップ集団の一つでもありません。
新しいプログラミング言語に備えていてほしい特質; GPT-4で新しいプログラミング言語「TenetLang」を生み出す、チャットAIは既にプログラミングの何たるかをかなり理解している模様
プログラミング言語のパワー (Arcからの挑戦) という観点から;
あらゆる汎用目的の高級言語にとってのテストは、機能 x があるとか 問題 y を解けるとかではなく、それでプログラムの長さがどうなるかなのだ。
もっとコンパイル時にエラーを検出できるように, それから, もっと並列に動作できるようにしたい。
Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications. JVM で動作。[2022-09] Scala v3.0.0 (Dotty) が 2021年5月にリリース。しかし、非互換な変更が多く、アプリケィションが付いてきていない。最新の Play 2.8 でも Scala 2.12 と 2.13 のサポート。まだまだ様子見。
今も大きく進化が続いている。複数の実装もある。とはいえ増築に次ぐ増築で仕様がふくらみ過ぎている。cpp2/cppfront や Carbon といった新しい提案が出てきている。
Python 界隈にも、新しく静的型づけのスーパーセット Mojo が登場; Pythonを過去のものにするMojo🔥が爆誕|東京 AI 研究所 Python の14,000 倍速い。
Ruby に似たプログラミング言語:
Better ruby としてとても良いが, 徐々に移行することができないのが難点。
Amber - Crystal Web Application Framework Rails の代替。The default ORM for Amber is Granite.
コルーチンは欲しいですが、継続までは不要。
minilang は、まだ、全然きちんと動きません。現時点での内部の特徴は,
大まかな流れ: (ソースコードの読み込み) -> [抽象構文木 (AST)] -> (静的型検査) -> (評価)
Bison + 手書き字句解析器の組み合わせ。
今だと ANTLR もいいかもしれない。Unicode 対応, パーサと lexer を分けられるように見える。JavaScript, Python, Java and C#. Fedora パッケージでは C++, Go もいけそう。
minilang は, GitLab でソースコードをホストしています。まずは GitLab にユーザ登録してください。(無料)
GitLab.com にユーザ登録後, minilang スペースでチケットを作成してください。
コミッタも大募集。
貢献者ライセンス同意書 (Contributor License Agreement) にサインしてお送りください。