c 函数式编程语言,Futhark

软件简介

Futhark 是一个小型全新的函数式编程语言，可编译为高性能的 GPU

代码。使用静态类型、并行数据以及纯函数数组语言。该语言对编译器提前进行重度的优化，通过

OpenCL 生成 GPU 代码。Futhark 并非为图形编程而设计，通过使用

GPU 来加速并行的数组计算，支持常规嵌套的数据并行化处理。

Futhark 使用 Haskell 语言开发。

示例代码：

fun int max(int x, int y) =

if x > y then x else y

fun {int,int,int,int} redOp({int,int,int,int} x,

{int,int,int,int} y) =

let {mssx, misx, mcsx, tsx} = x in

let {mssy, misy, mcsy, tsy} = y in

{ max(mssx, max(mssy, mcsx + misy))

, max(misx, tsx+misy)

, max(mcsy, mcsx+tsy)

, tsx + tsy }

fun {int,int,int,int} mapOp(int x) =

{ max(x,0), max(x,0), max(x,0), x }

fun int main([int] xs) =

let {x, _, _, _} =

reduce(redOp, {0,0,0,0}, map(mapOp, xs)) in

x