编程语言有类型推断的话，我们就直接写 Ruby 直接编译到二进制了吗？ 第1页
1
be5invis 网友的相关建议:
现在这堆动态语言都有 eval，从理论上断绝了编译成不带解释器的二进制代码的可能。
而如果没有 eval 这样的东西，那么「脚本语言」是可以编译成机器代码的。最原始的办法就是做这样的翻译：
# py def func(): if random.random()<0.5: return 0 else: return "a string" // C // 感谢评论告诉我 python 中「值」这个 tagged union 的名字… pyObject func(){ if(lt(invoke_method(random, "random"), val_number(0.5))) { return val_number(0); } else { return val_string("a string"); } } 当然，后者没做任何优化……
Yangff 网友的相关建议:
任何语言都可以被编译到native，和是不是静态类型没有一毛钱关系。
静态类型只是在一些时候可以提升执行效率的一个做法，仅此而已。
Ruby一行代码的信息量超小的。你写代码的人什么都不说，到执行的时候就知道了，解释器也很为难啊。
1
相关话题
如何抽象评判现有语言优劣，继而设计一款别具优雅的计算机语言 X ？微软当年的 J++ 究竟是什么？为什么 Sun 要告它？
做一个不同编程语言之间的converter有没有意义？
命令式语言中递归的理论基础?
如何看待中科院计算所发布的“木兰”国产编程语言其实基于Python3，并非完成“自主研发”？
怎么避免写Java风格的Scala代码？
请问从技术角度来看是鸿蒙操作系统，木兰编程语言，方舟编译器哪个技术水平更高一些？
近十年来编译器有哪些关键的技术进步？
有哪些c++的书推荐？
参加第五届函数式编程分享会是什么体验?
相关的话题
iOS 系统的编译器和华为方舟编译器孰强孰弱？为什么中国程序员(可能包括非程序员)不如外国程序员有创造性？
编程语言中类型前置和类型后置的优缺点各是什么？
如何在c#应用程序里使用excel文件做数据源？
像C语言这样的编译型语言能否在不同CPU上，通过相同标准库的编译器，用源代码实现跨平台？
C 语言这些宏定义前面的 __extension__ 是什么意思？
你是怎么入的 Haskell/Scala/Scheme/OCaml这些函数式编程语言的坑的？
常说「Java 在虚拟机中运行」，请问这个虚拟机可以视为 Java 语言的解释器吗？
计算机语言可以以变量名作为类型判断么？
Java 有哪些好的设计？
如何滴水不漏的学完C语言？
java switch 不加 break 继续执行 下一个case(不用匹配条件) 这个设计是因为什么？
创造编程语言应该学习什么语言？设计编程语言最好是用C/C++吗？
如何实现一个简单的虚拟机？
C语言学到什么程度可以看Lua的源码？
如何使用 python 写一个简单的表达式解释器？
有没有介绍C#这门语言的设计思想的书？
Prolog 这类逻辑式编程语言为什么没有得到广泛应用？
在技术上强到什么程度，才会成为年薪百万的技术型大牛？
相比较 C++ 程序以 main 函数为入口，其他语言如 Java、AS3 等，程序的入口是怎样的？
汉语编程只需要学习几十个汉字就可以编程了，外国人为什么不能汉语编程呢?
觉得 SQL 太难用于是自己编了个类 SQL 语言，不知道有没有人想过类似的事情？
如何学习递归呢？
什么语言最适合做 GUI？
为什么上古编程语言（比如 COBOL）总喜欢把代码全部写成大写字母？
如何实现一个简单的虚拟机？
柯里化对函数式编程有何意义？
为什么 Python 的 GIL 问题一直让人诟病，Python 社区却不解决？
Java为什么选择interface来作为"接口"这个功能的关键字？
为什么 Go 语言把类型放在后面？