プログラミング言語の仕様を作成するにはどうすればよいですか？

私はプログラミング言語の設計を本当に楽しんでいます。私の言語プロジェクトとその潜在的なユーザーは、包括的な標準ドキュメントの恩恵を受けると思うことがあります。私は非常に形式的な（C ++）からやや非公式な（ECMAScript）に至るまで、多くの言語標準を見てきましたが、物事をどのように分類し、そのようなドキュメントを整理するべきかについて、実際には理解できません一般的にテクニカルライティングが得意だと思います。

長いチュートリアルのように書くべきですか、それとも正式な数学論文のように書くべきですか？リファレンス実装と並行して開発している場合、どうすれば最新の状態に保つことができますか？実装とドキュメントを事実上の標準としてあきらめて扱うべきですか？さらに、規格を持つことには本当に大きな利点がありますか？必要な言語は不必要に複雑であることを標準平均を？

Java言語の仕様は正式で読みやすいものであることがわかりましたが、それは理にかなった構造を持っていると思います。W3C仕様の一部も同様に良い例です。

正式な仕事をすることは、言語の複雑さを抑え、角のケースを見るのに役立ちます。

見出しブレインダンプ：ソースエンコーディング、字句解析、基本型、リテラル、演算子、式、単純なステートメント、条件、ループ、関数（定義と呼び出し）、型宣言、モジュール、コンパイル単位、変数スコープ、さまざまな種類の名前解決（例：インポート、メソッド）、メモリモデル、副作用、タイピング、同時実行…

たくさん読んでシンプルに保つ

新しい言語の設計は困難です。とても大変。しかし、それが人気になり、人々がエレガントな方法で経験している問題を本当に解決するならば、最終的に非常に満足です。

コメントで述べたように、以下の理由から、Martin Fowlerによるドメイン固有言語を読むことをお勧めします。

1. 彼はあなたが言語を設計する理由について多くの実用的な深さに入ります
2. 方法の詳細があります（パーサー、字句解析プログラム、言語ワークベンチなど）
3. クロージャ、注釈、リテラルリスト、動的受信などの概念を処理するために選択した構文をどのように作成できるかについての詳細な実装手順があります。

仕様の作成方法については、対象ユーザーについて考えてください。明らかに、あなたの言語を設計するためにキーボードに指を置く前に、あなたはそれが何を意図しているかについて慎重に考えているでしょう。

JavaScriptに代わる新しいインタープリター言語である場合は、限られたアテンションスパンと即時の結果を求めてWeb開発者に連絡するために、または可能な限り迅速に、非常に自由自在なアプローチが必要になります。

Titanへの次のミッションで使用される場合、各コンポーネントの動作の正確な正式な証拠を示す非常に詳細な仕様が最小限のエントリレベルになります。

したがって、それは簡単なことではありません。仕様に近づくには、言語を作成し、実際に日常的にそれらを使用している人々と協力して多くの経験を積む方がよいでしょう。あなたが喜んで犠牲者を持っているなら...あるいは...あなたの言語を学ぶのに少し時間をかけることができる職場の開発者は、彼らがそれを使うために必要なものについてあなたにフィードバックを与えることができます。

要するに、それをシンプルに保ち、より多くの人々がそれを使うでしょう。

Wirthは多くのプログラミング言語を設計および実装しました。これらのうち、OberonおよびOberon2言語の仕様は、完全性、簡潔性、読みやすさで注目に値します。

Common LispとHaskellには言語標準があります。RubyとPythonには実装とドキュメントがあります。したがって、言語標準は必要ではないと言いますが、設計している言語の実装が複数あると予想される場合に役立つかもしれません。一方、言語定義の大幅な変更が予想される場合、標準は時期尚早です。

仕様は簡潔で、時の試練に耐えられるものでなければなりません

これが、多くの言語標準に使用されているBNFのような抽象化を見る理由です...その簡潔さは、現在のツールの多くが取り残された後もまだ理解されています。

もちろん、単なる文法以上のものがあります。他の人がやったことを見てください... perl6、スキーム、C ...彼らは実装者も気にしている問題に取り組んでいます。