コンピュータプログラミングとシンタックス
大学在学中、Glauberman と Katz によって書かれた Euphoria に関する論文を見ました。この論文では、Euphoria の構文は Coq の構文と密接に関連していると主張していました。 Glauberman と Katz は、彼らの構文が Coq のセマンティクスのスーパーセットであり、構文のモデル、つまり急速な開発のモデルは、他のモデルよりも自然言語と一貫性があると主張し続けています。彼らはさらに、構文が厳密には自然ではないことを認めているが、構文がジョン・マッカーシーによって採用された急速な開発のモデルに強く影響されていると主張している.自然言語の文法を開発する目的で構文に関するフリードの論文を読んだ後、私はそれらに同意しませんでした。リチャード・バロウとジョン・マッカーシーによって、構文の言語学が真に進歩したと感じました。私が提出した論文の出版を彼らが断ったとき、Glauberman と Katz が、彼らが好むと主張する構文の開発そのものに影響を与えたと主張したことは正しいと私は信じています.
Tilden による 3 冊の本はすべて、多幸感を使用する言語の構文のさまざまなモデルを説明しており、プログラム理論と呼ばれるアイデアのより大きなフレームワークにうまく適合しています。この理論は、言語の文法構造を定式化する方法と、その言語の話者が使用する構文モデルの変更に対応するのに十分な柔軟性を持つように設計された構文構造を使用して、それを文法的に分析する方法に関係しています。構文に関する著者の主張と、コンピューター プログラミングにおける構文の使用との間には、興味深い関連性があると思います。シンタックスを使用するプログラマーは、プログラムのシンタックスに多幸感を覚える傾向があり、プログラムで望ましい結果が得られることに慣れてしまうため、シンタックスの使用に誤りが生じる可能性があるようです。
