言語に普遍的なモデルはありますか?

Question

多くのプログラミング言語は、一般的な、さらにはかなり普遍的な機能を共有しています。たとえば、Java、VB6、.NET、PHP、Python を比較すると、制御構造、数値および文字列の操作などの共通の関数が見つかります。

これらの機能をメタ言語 (または言語に依存しない) レベルで定義するために何が行われていますか?

UML はあらゆる側面でソフトウェアの説明的なリファレンスを提供しますが、実際の焦点はデータ プロセスのようです。UMLは関係ありますか?

私は「なぜ現在のProthoraに代わる単一の言語を持っていないのか」と尋ねていません。多くの異なるツールが必要です（少なくともこのEONでは）。

私は、すべての言語がテンプレートに適合することを求めているわけではありません (アセンブリとアセンブリ)。コンパイルされた言語は、それが不可能になるほど異なっています (HTML を言語と呼ぶ人もいますが、私はそうは思いません)。どのような試みも適切に狭い範囲から始まります。これと同様に、このモデルが小さな選択範囲さえも完全に有効にカバーするとは期待できません。

ただし、このようなモデルを使用して、ある言語から別の言語に転置できることを期待しています (目的は限定的ですが、ジスト翻訳を考えてください)。

Answer 1

プログラミング言語の形式意味論を同様に

あなたは何の音を記述しています。そこ様々なアプローチがあり、それぞれが正式にいくつかのプログラミング言語でプログラムの意味を指定する方法を提供します。いくつかのケースでは、この仕様は、基本的なラムダ計算、あるいは、SECD正式に指定された抽象マシンのためのコンパイルなどの別の言語への翻訳である。

そんなに仕事は、それが特定の参照を選ぶのは難しいここにあります。しかし、私はあなたの検索を続行するためにあなたにいくつかの有用なキーワードを与えてくれた願っています。

Answer 2

は、この時に多くの試みがなされてきたが、どれも非常に成功していません。私は UNCOL を50年以上前。

の承知している最古の 彼らは共通のルーツとでスローされたいくつかのオブジェクト指向の拡張子を持つすべての手続き言語をしていることがあまりにも思わぬではないので、 - 彼らはかなり類似しているため、あなたは多くの共通点を持っている言語のリストを与えてくれました。あなたはLISP、ハスケル、アーラン、プロローグ、あるいはSQLなどのさまざまな言語を見て起動した場合、あなたは非常に異なるものを見始める。

Answer 3

UMLは、典型的には、実際のコードに移る前に簡単な点でアルゴリズム/コードを定義するために使用されます。

以下のため、一方で、他に...これは今までに標準として設定され、またはベースライブラリ化されます。私はあなたの質問であることを推測しています何を答えるために、言語の必要な部品の定義されたセットは、すでにそこにありますそれはすべての言語で使用されます。いいえ、のような言語の異なる開発者がそれ自体を行うにためである。

Answer 4

私は、あなたが一般性を失うことなくこれに得ることができる最も近いが、実用的な目的のために非常に有用ではありませんチューリングマシン、だと思います。あなたは、「ラベル」と再利用する機械語をチューリング許可した場合でも、あなたは、低から高レベルに取り組んで、あなたが必要な概念を構築することができます。

Answer 5

私は、MOFが普遍的な言語であると思います。 あなたは、例えばUMLメタモデルを経由してMOFからUML図を作成することができます。あなたがXMIに、このメタモデル情報を保存する場合、あなたは今までどのような情報あなたが必要と、さらに任意の言語に比べて保存することができます。 XMIセマンティックは、その使用に制限がないことをとても豊かです。あなたはMOFとメタモデルのライブ同期の上にXMIにUMLをマッピングする場合、これは私のための普遍的な言語です。

Answer 6

の著者 パターン微積分 そんな普遍的なモデルを提案しているようです。私は、これが普遍的なモデルを定義するというこれまでの試みと同じくらい役立つものになることを期待しています。つまり、部分的には優れているが最終的にはそうではないということです。