Futhark

以函數式陣列語言描述平行運算

前往 Futhark 官方網站

這是什麼

Futhark 提供靜態型別的函數式陣列語言,將資料平行程式編譯為 CPU 或 GPU 運算。

適合怎麼用

陣列運算需利用平行硬體時,可比較 map、reduce 與編譯後端,理解資料平行表達。

Fortran

閱讀數值與科學運算程式語言

  • numerical
  • programming

研究

Agda

以相依型別表達資料與證明

  • verification
  • programming

研究

Chapel

以語言表達平行與分散式運算

  • programming
  • types

研究