SAC编程语言

维库，知识与思想的自由文库

SAC(Single Assignment C)是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。

为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征(到目前为止)还被SAC支持，比如高级函数(higher-order functions)，多态性(polymorphism)，以及懒惰计算法(lazy evalution)。而像Haskell、Clean、Miranda 或者 ML却拥有这些特征。