语言有通用模型吗？

Question

许多编程语言都具有通用甚至相当通用的功能。例如，如果您比较 Java、VB6、.NET、PHP、Python，那么您会发现常见的功能，例如控制结构、数字和字符串操作等。

为了在元语言（或与语言无关）级别定义这些功能，我们做了哪些工作？

UML 在各个方面提供了软件的描述性参考，但现实世界的焦点似乎是数据处理。UML 相关吗？

我不是在问“为什么我们没有一种替代当前大量的语言”。我们需要许多不同的工具（至少在此EON中）。

我并不是要求所有语言都适合一个模板——汇编语言与汇编语言。编译语言的差异足以使之变得不可行（有些人称 HTML 为一种语言，但我不这么认为）。任何尝试都将从适当狭窄的范围开始。与此相一致，我不希望该模型能够完全有效地涵盖哪怕一小部分选择。

然而，我希望这样的模型可以用于从一种语言转换为另一种语言（目标有限——想想纯翻译）。

Answer 1

你所描述的一样编程语言中的形式语义的声音是什么。有各种各样的方法和每个会给办法在一些编程语言正式指定程序的含义。在一些情况下，本说明书本质上是一个翻译成另一种语言，如演算，或编译为一个正式指定的抽象机如SECD。

有这么多的工作，在这里很难选择一个特定的参考。但我希望我已经给了你一些有用的关键词继续搜索。

Answer 2

有做了许多努力，在这一点，但没有取得很大成功。我知道就是 UNCOL 超过50年前。

最早

您已经给那有很多共同语言列表，因为他们很相似 - 他们有共同的根，并投入了一些OO扩展名的程序语言，所以这不是太suprising。如果你开始看着像LISP，Haskell中，二郎神，序言，甚至是SQL你开始看到非常不同的事情不同的语言。

Answer 3

UML通常用于移动到实际的代码之前定义的算法/代码简单来说。

要回答什么，我猜是你的问题，已经有一组定义的语言所需的零部件，同时，因为，如果，否则......将这个不断被设定为标准，或制作成的基础库所使用的所有语言：没有，这是因为语言的不同开发者喜欢自己做

Answer 4

我认为最接近你可以得到这个不失一般性，是图灵机，这是不实际的目的是非常有用的。但是，如果你让图灵机的语言是“标”，并重复使用，你可以建立你所需要的概念，从低端工作，高层次的。

Answer 5

我觉得MOF是通用的语言。 例如，您可以通过UML元模型创建MOF UML图。如果您保存此信息的元模型到XMI，那么你可以保存什么都您需要的信息，甚至超过任何语言。 XMI语义是如此丰富，以至于没有限制其使用。如果您在使用MOF元模型实时同步的顶部映射UML到XMI那么这对我来说是通用的语言。

Answer 6

作者是 模式演算 似乎提出了这样一个通用模型。我希望它会像以前定义通用模型的尝试一样有用，也就是说，部分好，但不是最后一句话。