有语言的通用模型吗？

Question

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

在元语言(或语言不可知)级别定义这些功能已经做了些什么？

UML在各个方面都提供了软件的描述性参考,但现实世界的重点似乎是数据处理.UML是否相关？

我不是在问"为什么我们没有一种语言可以取代目前的过多." 我们需要许多不同的工具(至少在这个时代).

我不是要求所有语言都适合模板 - 汇编与编译语言的不同使得这种语言不可行(有些人称HTML为语言,尽管我不这样做).任何尝试都将以适当狭窄的范围开始.根据这一点,我不希望该模型甚至涵盖一个完整有效的小选择.

然而,我希望这样的模型可以用于从一种语言转换到另一种语言(目标有限 - 思考jist翻译).

Answer 1

您所描述的内容听起来像是编程语言的形式语义。有多种方法，每种方法都会提供一种在某种编程语言中正式指定程序含义的方法。在某些情况下，该规范本质上是对另一种语言（例如 lambda 演算）的翻译，或者是对正式指定的抽象机（例如 SECD）的编译。

这里有太多的工作，很难选择一个具体的参考。但我希望我已经为您提供了一些有用的关键字来继续您的搜索。