寻找无GIL的强类型语言
有没有一些编程语言，它们像C++那样有静态类型检查，但语法又像Python那么现代，并且没有全局解释器锁（GIL）呢？
我觉得Python 3如果能明确声明每个变量的类型，那就差不多了，但GIL让我很失望。
Java也不错，但我需要一些更“嵌入式”的东西，不想要笨重的Java运行环境（JRE）。
更新：任何与.NET相关的东西或者非开源的都不考虑。
更新2：我需要明确且强类型的语言，这样可以写出更安全的代码，虽然这样会牺牲一些开发速度。GIL很重要，因为我的代码会进行大量计算，并且会在多核服务器上运行，所以必须有效利用多个CPU。
更新3：目标平台是Linux（Debian）在x86架构上。
5 个回答
Ada 是一种强类型的编译语言，语法现代且易于阅读，经过验证在多核计算中非常可靠。Ada 的设计初衷是用于大型、关键的实时系统，这些系统的软件必须在任何情况下都能正常工作。
Ada 支持运行时检查，以防止访问未分配的内存、缓冲区溢出错误、越界错误、数组访问错误以及其他可检测的bug。这些检查可以为了提高运行效率而关闭，但通常也能高效地编译。它还提供了一些工具来帮助程序验证。因此，Ada 被广泛应用于关键系统中，因为任何异常都可能导致非常严重的后果，比如意外死亡或受伤。使用 Ada 的系统例子包括航空电子设备、武器系统（包括热核武器）和航天器。
Ada 可以作为 GCC / GNAT 的一部分免费获取，在 Debian 上安装也很简单，只需用 "apt-get install" 命令即可。你还可以在 http://libre.adacore.com/libre/ 找到最新的编译器和库（包括社区支持的 GPL 许可和商业支持的包）。
Ada 可以编译成 Java 字节码，以便在 JVM 中使用，或者编译成二进制文件，用于裸机或嵌入式应用。
任何与机器学习相关的语言都可能适合你。Ocaml是一个很好的起点，但我记得它有一个会暂停整个程序的垃圾回收机制。Haskell因其创新的并发模型而闻名，是一个很好的实验平台。Python中的列表推导式是从Haskell来的，它们提供了一种方便的语法，用来表达一些非常基本的概念。而Erlang则是强动态类型的，写起来很有趣，并且在处理并发方面做得比其他语言都好。
Boo是一种面向对象的编程语言，类型是静态的。它的目标是利用通用语言基础设施（Common Language Infrastructure）对Unicode、国际化和网络应用的支持，同时它的语法受到了Python的启发，并特别关注语言和编译器的可扩展性。Boo的一些值得注意的特点包括类型推断、生成器、多方法、可选的鸭子类型、宏、真正的闭包、柯里化和一等函数。自2003年以来，Boo一直在积极开发中。
Cython是一种语言，它让为Python编写C扩展变得和写Python一样简单。Cython基于一个叫Pyrex的知名项目，但支持更多前沿的功能和优化。
Cython语言与Python语言非常相似，但Cython还支持调用C语言的函数，并且可以在变量和类属性上声明C类型。这使得编译器能够从Cython代码生成非常高效的C代码。