新的函数式编程语言可以为应用生成C，Python代码

Posted 2021-04-12 穿背心儿的程序猿

文章中所有蓝色字体表示链接，但由于微信不支持外链，还请点击“阅读原文”访问。

哥本哈根大学计算机科学系的研究员最近发布了Futhark，这是一种函数式编程语言，可以产生运行在GPU上的代码，主要用于机器学习和其他对性能要求高的应用。

Futhark在GPU编程方面比标准的C/C++框架更加优秀。它可以给已经存在的应用生成C和Python代码，并完美地整合进去。

大多数的GPU编程都使用了像OpenCL或CUDA这种框架，用C或C++生成在GPU运行的代码。Futhark可以产生C语言代码，但是使用它自己的语言，有点像Haskell（Futhark本身就是用Haskell写的）。

Futhark的作者说，这个语言优秀的表达能力让复杂的并行程序变得更容易描述。它支持嵌套并行（在并行操作中还有其他的并行操作）。Futhark可以“不用担心复杂度，将并行程序和平台硬件支持的并行关联起来，很多程序都依赖这个特性。”它的作者说。

Preliminary benchmarks使用有自己的GPU编程，不兼容其他的GPU库。在最好的测试结果中，Futhark的速度几乎是竞争对手的两倍。但是其中也有测试结果显示，Futhark的速度比较慢。Futhark的开发者说，这是因为它还是一种年轻的语言，很多方法未经优化。

现在的Futhark可以生成能在CPU和GPU运行的程序。之前，它生成的C语言代码只能被GCC编译；现在它可以生成OpenCL平台的代码了。所以它基本上支持所有平台的代码，这和GPU加速应用MapD数据库有点像，如果需要的话，可以回到CPU运行。

想要快速启动的Python用户可以使用Futhark自动生成一个Python模块。GPU代码通过Python的GPU接口PyOpenCL运行。这里有一些示例。

虽然Futhark仍然是一个研究中的项目，不像其他语言那样完整，甚至文档也是不完整的。但是这个项目的文档和源代码已经在Github开源了。

翻译：赖信涛 

责编：孙思

---