需要良好的语言来进行数学和逻辑繁重的研究编程

Question

任何人都可以使用以下所有属性命名语言：

1. 具有代数数据类型
2. 对线性代数有很好的支持
3. 速度快（至少比python好）
4. 至少具有一些函数式编程能力（我不需要monad）
5. 已经听说过，没有死，并且可以在C级别上进行接口

Answer 1

的Scala

根据Wikipedia，它具有代数数据类型。它是fast。 Scala既功能又面向对象。它是一种年轻的语言，用户群不断增长，但在某种程度上仍与Java兼容。

线性代数有一个Scala库Scalala：

  

Scala的高性能数字线性代数库，在向量和矩阵上具有丰富的类Matlab运算符;数值例程库

Answer 2

我有自己喜欢的宠物语言，这不是其中之一，但我觉得R可能就是你想要的。对于那些做重大数学的人来说，这些日子似乎是 热门的新语言。

对于“比Python更快”的部分，这很难说。一般来说，语言并没有真正的速度;语言实现做。因此，真正说明的唯一方法是比较您可以获得的每个实现的时间约束算法。

Answer 3

我会说C和C ++。他们与以下人员合作得很好：

• Matlab
• Maple