动态语言真的无法编译吗？

Phil Eaton那篇2018年的旧文又被人翻出来讨论了。动态语言天生就该解释执行、编译不了——这假设你信几分？Eaton不信。他拿Ruby、Python这类典型动态语言开刀，论证编译并非空中楼阁，但代价是编译期得接受类型推断、内联缓存、去优化一整套工程取舍。我的判断：动态语言的编译不是不能做，而是收益跟工程复杂度不成正比，这正是这么多年来大家默认跑解释器的根本原因。文章本身不新鲜，但那个结论至今没被推翻。

原文：Compiling dynamic programming languages (2018) · 来源：Hacker News