SAC
（
Single Assignment
C）是一??格的
?函?式?程
?言，以?足
???算
?域的需求?主要目的。?????多???的高效?算是SAC的核心部分。效率在程序???域可以有?方面的理解。一方面是提供高?的???算操作，以加快??程序，?一方面是在某?模式下?化??程序，以?少其所需的?行??和存?容量。作?一?成功的?算机?言，必??足第二??件。
?了能???出高效的可?行代?，某些????算不重要的函?式?言的特征（到目前?止）?不被SAC支持，比如
高?函?
，
多?
，以及
惰性求?
。而像
Haskell
、
Clean
、
Miranda
或者
ML
却?有?些特征。
??
[
??
]
外部?接
[
??
]
