我听说使用某些语言(RoR)时生产率的提高.我还听说过一些VM比其他VM更优化(GHC？).还有一些人试图通过改进底层架构来优化他们的选择语言(Unladen Swallow) 然而,在阅读论文(“SSA是函数式编
然而,在阅读论文(“SSA是函数式编程”)时,我有一个问题,即根据其语法,特定语言是否(有一天)能够成为具有最佳性能的语言.
我想我要问的是,无论一个特定的语法,理论上是最适合生成最佳机器代码的齿轮.
我会对任何意见的基础理论非常感兴趣 – 我正在与一些朋友讨论这个问题,我们正在讨论有关特定语法的信息内容的想法.
请注意我正在谈论具有至少一流功能的语言 – 请不要ASM.
不是.所有渴望表现的功能语言都转化为类似于lambda演算的核心语言.不同编译器的核心语言彼此相似,远远超过原始语法.任何语法都将编译成核心语言,从中可以继续使用本机代码.因此,在本机代码编译器中,具体语法永远不会影响性能.如果您正在谈论像Lua编译器这样的高速单通道字节码编译器(Lua完全支持类似Scheme的第一类函数),那么答案可能会有所不同 – 如果编译器是为快速编译而设计的,而不是好的代码,您可能能够使用具体的语法来提高性能.一个示例可能是使用case或switch语句而不是嵌套ifs.