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