主题：【原创】介绍一下Go语言（1）之前的话 -- zllwy

我想关于type system的设计，主要是从为程序员提供比较好的工具考虑的，目的是能精练，准确地表达程序的逻辑，同时保证程序的安全性，可读性等其他方面的要求。性能考虑也有。比如Go非常强调语法的简单性，使得编译器设计比较简单，编译速度也比较快。

至于解释型和编译型的区别，其实界限也不是那么明确的。比如Java，gcc就提供了编译器gcj。虚拟机起到了把语言本身和平台隔离的作用，这样虚拟机和编译器的实现都相对比较简单一点。另外，很多解释型语言的一些特征，在虚拟机上实现容易一些。其实对这样的语言进行编译也不见得就有什么优势。虚拟机目前的技术已经能够实现比较好的性能，更何况虚拟机天生就有很多静态编译做不到的能力。比如动态优化等等。