SAC(Single Assignment C)是一门严格的纯
函数式编程语言，以满足
数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。
为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征（到目前为止）还不被SAC支持，比如
高阶函数（higher-order functions），
多态（polymorphism），以及
惰性求值（lazy evalution）。而像
Haskell、
Clean、Miranda或者
ML却拥有这些特征。
怎样实现对多维
数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。
为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征(到目前为止)还被SAC支持，比如高级函数(higher-order functions)，多态性(polymorphism)，以及懒惰计算法(lazy evalution)。而像Haskell、Clean、Miranda 或者 ML却拥有这些特征。
APL是A Programming Language或Array Processing Language的缩写。
肯尼斯·艾佛森在1962年设计这个语言时他正在
哈佛大学工作，1979年他因对数学表达式和
编程语言理论的贡献而得到图灵奖。在过去数十年的使用历史中，APL 从它的原始版本开始不断改变和发展，今天的版本与1963年发表时的版本已经非常不一样了。但它始终是一种解释执行的计算机语言。现代的 APL 版本支持其初始版本不支持的结构和模式编程。APL 至今依然使用一种非标准化的字母表，这一直是他人对 APL 的批评。
函数式编程（英语：functional programming）或称函数程序设计，又称泛函编程，是一种编程典范，它将电脑运算视为
数学上的
函数计算，并且避免使用
程序状态以及易变对象。函数编程语言最重要的基础是
λ演算（lambda calculus）。而且λ演算的函数可以接受函数当作输入（引数）和输出（传出值）。
比起
指令式编程，函数式编程更加强调程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。