Jon Purdy

这个 B Malcolm Beattie的模块集将是此类问题唯一明智的出发点,尽管我有其他答案,因为这将是一个难以解决的问题。一般来说,将一种高级语言的意义翻译成另一种高级语言需要一个高级翻译,而目前,这可能意味着 只有 一个人。

这个问题的困难,因为 任何 这对语言,是由于所讨论语言的本质上的根本性差异,例如运行时语义和公共习语,更不用说库了。