問題タブ [language-specifications]

次の（些細な）コードセグメントについて考えてみます。

一般的な場合、C ++では、コンマ区切りのステートメントを任意の順序で評価できます。whileループの場合、少なくとも最後のステートメント（ループの条件として使用される）が最後に評価されることが（仕様によって）保証されていますか？

入力言語の文法と意味をリバースエンジニアリングできないコンパイラーを作成できますか。

つまり、コンパイラから常に言語の仕様を取得できますか？

からコンパイルしたいとしましょう?? いくつかの言語に、しかし私はコンパイラを読んだ人々が読んで理解できるようにしたくないですか？

個人的にはコンパイラと言語仕様は同形だと感じていますが、これが間違っているかどうかは学術的な観点から興味があります。

のHTML5 仕様を<command>読んだところ、この要素に関する情報が非常に曖昧であることがわかりました。

試してみたところ、Chrome (最新バージョン) では動作せず、Safari (古いバージョンでも) で動作していることがわかりました。申し訳ありませんが、FF はありません (撃たないでください) - Mac のみのテストです。

この要素の用途が理解できません。また、正しく使用していても理解できません。

それについての明確化のために事前に感謝します！

これら2つの違いは何ですか：

またはそれら：

マニュアルには次のように書かれています。

名前空間名（FooBarなどのグローバル名ではなくFoo \ Barなどの名前空間区切り文字を含む完全修飾名前空間名）の場合、インポート名は完全修飾である必要があるため、先頭の円記号は不要であり、許可されないことに注意してください。現在の名前空間に関連して処理されません。

しかし、上記のすべてのバリアントが機能するため、これは本当に理解できません。つまり、「許可されていない」ことは間違いありません。

調べてみるzend_do_useと、is_global（先頭に円記号がある場合に設定）は、次の場合の警告にのみ使用されます。

これは、「非複合名'Exception'のuseステートメントは効果がない」ことを示しています。（と同じuse \Exceptionことをしても効果はほとんどありませんが、警告はスローされません。）

だから：私は何かが欠けていますか？実際に違いはありますか？

Google が公式のブロガー テンプレートの言語仕様を公開した場所はありますか? この質問を読んだところ、多くの有用な情報が提供されましたが、探している特定のタグ (タグ) に関するヘルプは提供されませんでしたvariable。

Wikipidea によると、Perl にはその仕様のリファレンスとして使用される支配的な実装があり、C 言語は標準の ANSI ISO によって指定されています。

標準を一行も読まずに C 言語を学んだのですが、それは普通ですか?

標準 (つまり自然言語文書) がどのように支配的な実装を参照することなくプログラミング言語を記述できるかを知りたいです。

何よりも好奇心からの質問ですが、なぜ C# はキーワードに対して 2 つの異なる「目的」を定義しているのusingでしょうか。一方では、それは指令です...

名前空間のエイリアスを作成したり、他の名前空間で定義された型をインポートしたりするために使用されます。

一方、それは声明です...

スコープを定義し、その外側で 1 つまたは複数のオブジェクトが破棄されます。

私には、同じキーワードのさまざまな用途のように思えますが、何かが足りないのかもしれません。このキーワードが 2 つの異なる目的を持つ理由はありますか? それとも、これらの目的は両方とも、コンパイラーの奥深くにあるもので、本当に同じものなのでしょうか?

識別子に Unicode 文字 (非ラテン語) を使用して、Haskell で教育用コードを書きたかったのです。(これにより、ラテン文字を使用しない英語以外の自然言語の話者にとって、識別子が美しく自然に見えるようになります。) そこで、これを可能にする適切な Haskell 実装を見つけることに着手しました。

しかし、この機能は言語仕様のどこで指定されているのでしょうか? 適合する実装を探すときに、この機能をどのように参照すればよいですか? (実際に Unicode 識別子をサポートすることが知られている Haskell 実装はどれですか?)

ある Haskell 実装では Unicode 識別子を持つ私のコードを受け入れましたが、別の実装では受け入れられなかったことが判明しました。おそらく言語機能スイッチの形で、私のコードのこの要件を形式化する方法があれば、私または他の誰かが私のコードを実行しようとすると、彼の実装が欠落しているかどうかがすぐに明らかになるでしょう.必要な機能であるため、別の機能を探す必要があります。(この機能の wiki ページもあるかもしれません。「Unicode 識別子」では、既存の実装のどれがそれをサポートしているかを一覧表示し、必要な場合にどこに行けばよいかを知ることができます。)

（ところで、私はこの質問に「構文」タグを付けましたが、実際には言語の構文よりも低いレベルの字句解析のレベルの問題であると認識しています。字句解析の機能のタグはここにありますか言語の構文仕様の機能ではなく、言語のレベル?)

C＃言語仕様では、プログラムは次のように定義されています。

コンパイラへの入力をプログラムします。

アプリケーションが次のように定義されている間

エントリポイントを持つアセンブリを適用する

しかし、彼らは定義します

プログラムのインスタンス化—アプリケーションの実行。

「プログラム」の定義を考えると、これは...

アプリケーションのインスタンス化—アプリケーションの実行。

代わりは？

^{私はこれまでにこのような質問を投稿したことがないので、SO にふさわしくない場合は、私の気持ちをあまり傷つけないでください。削除します。}

私が気にかけていることすべてをできるだけ左マージンに近づけるために、次のようなものを書きたいと思っています。

もう 1 つの理由は、型が割り当ての右側に既に存在する場合に var を使用することで得られる追加の画面領域が気に入っているからだと思いますが、私の脳は左側の型を探すのに何年も費やしています。繰り返しになりますが、自分のやり方に固執しているということは、仕様を望む正当な理由にはなりません...