sac(計算機術語)

SAC(Single Assignment C)是一門嚴格的純函式式程式語言,以滿足數值計算領域的需求為主要目的。

基本介紹

  • 中文名:sac
  • 外文名:Single Assignment C
  • 性質:純函式式程式語言
  • 主要目的:滿足數值計算領域的需求
簡介,特點,APL語言,函式程式語言,

簡介

SAC(Single Assignment C)是一門嚴格的純函式式編程語言,以滿足數值計算領域的需求為主要目的。怎樣實現對多維數組的高效計算是SAC的核心部分。效率在程式設計領域可以有兩方面的理解。一方面是提供高級的數組運算操作,以加快開發程式,另一方面是在某種模式下最佳化編譯程式,以減少其所需的運行時間和存儲容量。作為一門成功的計算機語言,必須滿足第二個條件。
為了能夠編譯出高效的可執行代碼,某些對數值計算不重要的函式式語言的特徵(到目前為止)還不被SAC支持,比如高階函式(higher-order functions),多態(polymorphism),以及惰性求值(lazy evalution)。而像HaskellCleanMiranda或者ML卻擁有這些特徵。

特點

怎樣實現對多維數組的高效計算是SAC的核心部分。效率在程式設計領域可以有兩方面的理解。一方面是提供高級的數組運算操作,以加快開發程式,另一方面是在某種模式下最佳化編譯程式,以減少其所需的運行時間和存儲容量。作為一門成功的計算機語言,必須滿足第二個條件。
為了能夠編譯出高效的可執行代碼,某些對數值計算不重要的函式式語言的特徵(到目前為止)還被SAC支持,比如高級函式(higher-order functions),多態性(polymorphism),以及懶惰計算法(lazy evalution)。而像Haskell、Clean、Miranda 或者 ML卻擁有這些特徵。

APL語言

APLA Programming LanguageArray Processing Language的縮寫。肯尼斯·艾佛森在1962年設計這個語言時他正在哈佛大學工作,1979年他因對數學表達式和程式語言理論的貢獻而得到圖靈獎。在過去數十年的使用歷史中,APL 從它的原始版本開始不斷改變和發展,今天的版本與1963年發表時的版本已經非常不一樣了。但它始終是一種解釋執行的計算機語言。現代的 APL 版本支持其初始版本不支持的結構和模式編程。APL 至今依然使用一種非標準化的字母表,這一直是他人對 APL 的批評。

函式程式語言

函式式編程(英語:functional programming)或稱函式程式設計,又稱泛函編程,是一種編程典範,它將電腦運算視為數學上的函式計算,並且避免使用程式狀態以及易變對象。函式程式語言最重要的基礎是λ演算(lambda calculus)。而且λ演算的函式可以接受函式當作輸入(引數)和輸出(傳出值)。
比起指令式編程,函式式編程更加強調程式執行的結果而非執行的過程,倡導利用若干簡單的執行單元讓計算結果不斷漸進,逐層推導複雜的運算,而不是設計一個複雜的執行過程。

相關詞條

熱門詞條

聯絡我們