SAC语言
SAC（Single Assignment C）是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。
| 编程范型 | 阵列式, 函数式 |
|---|---|
| 设计者 | Sven-Bodo Scholz, Clemens Grelck 等 |
| 发行时间 | 1994年 |
| 型态系统 | 静态, 强类型 |
| 操作系统 | POSIX兼容 UNIX |
| 许可证 | 自由软件 [1] |
| 网站 | http://www.sac-home.org |
| 启发语言 | |
| APL, SISAL, C | |
为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征（到目前为止）还不被SAC支持，比如高阶函数，多态，以及惰性求值。而像Haskell、Clean、Miranda或者ML却拥有这些特征。