ALGOL 58

ALGOL 58（源自英語：ALGOrithmic Language 1958的縮寫），最早稱為「國際代數語言」（英語：International Algebraic Language，縮寫為IAL）^[4]，它是一種程式語言，是ALGOL家族的第一個成員。它在1958年問世，ALGOL 60即是它的基礎上開發而成。

ALGOL 58

編程範型	過程式, 指令式, 結構化
設計者	Friedrich L. Bauer（英語：Friedrich L. Bauer）, Hermann Bottenbruch（英語：Hermann Bottenbruch）, Heinz Rutishauser（英語：Heinz Rutishauser）, Klaus Samelson（英語：Klaus Samelson）, 約翰·巴科斯, Charles Katz（英語：Charles Katz）, 艾倫·佩利, Joseph Henry Wegstein（英語：Joseph Henry Wegstein）
面市時間	1958年，​67年前​（1958）
受影響於
FORTRAN, IT[1], Plankalkül[2], Superplan（英語：Superplan）, Sequentielle Formelübersetzung[3]
影響語言
ALGOL 60，以及類ALGOL語言

ALGOL 58介入了複合語句的基礎概念^[5]，但只局限於控制流程，它沒有以ALGOL 60中塊的那種方式，結合上標識符作用域。

歷史

1958年，美國計算機協會（ACM）與聯邦德國的應用數學和力學協會（英語：Gesellschaft für Angewandte Mathematik und Mechanik）（GAMM）成立小組，在蘇黎世把他們關於算法表示法的建議^[6]，綜合為一從而形成「國際代數語言」（IAL）^[7]，後來改稱ALGOL 58。

ALGOL 58變體時間線

名稱	年	作者	國家	描述	目標CPU
ZMMD實現	1958	Friedrich L. Bauer（英語：Friedrich L. Bauer）, Heinz Rutishauser（英語：Heinz Rutishauser）, Klaus Samelson（英語：Klaus Samelson）, Hermann Bottenbruch（英語：Hermann Bottenbruch）	德國	ZMMD是Zürich、München、Mainz、Darmstadt的縮寫	Z22（英語：Z22 (computer)）
NELIAC（英語：NELIAC）	1958	海軍電子實驗室（英語：Navy Electronics Laboratory）	美國		AN/USQ-17（英語：AN/USQ-17）
JOVIAL	1960	Jules Schwartz（英語：Jules Schwartz）	美國	DOD的HOL，先於Ada	多種
BALGOL（英語：BALGOL）	1960	Joel Merner等人	美國		Burroughs公司（英語：Burroughs Corporation） B220
MAD（英語：MAD (programming language)）	1960	密西根大學	美國		IBM 7090/7094主機，接著在1960年代中期移植到Univac 1108（英語：Univac 1108）
ALGO（英語：ALGO）	1961	Bendix公司（英語：Bendix Corporation）	美國		Bendix G-15（英語：Bendix G-15）
ALGOL 30（英語：Dartmouth ALGOL 30）	1962	達特茅斯學院的Thomas Eugene Kurtz（英語：Thomas Eugene Kurtz）等人	美國	後來演進成ALGOL 60	LGP-30（英語：LGP-30）
SUBALGOL	1962	史丹佛大學的Bob Braden（英語：Bob Braden）, Lawrence M. Breed（英語：Lawrence M. Breed）和Roger Moore（英語：Roger Moore (computer scientist)）	美國	BALGOL擴展	IBM 7090

例子代碼

下面是IAL報告中的例子代碼，採用辛普森積分法計算函數F(x)的積分，函數F(x)的值由假定存在的函數例程提供：

縮進排版

IAL報告排版

procedure Simps(F(), a, b, delta, V); comment a, b are the mi​n an​d ma​x, resp. o​f the points def. interval o​f integ. F() i​​s the fu​nction t​o inte​grated. delta i​s the permissible difference between two successive Simpson sums V i​s greater than maximum abso​lute value o​f F o​n a, b; begin Simps: Ibar := V×(b-a) n := 1 h := (b-a)/2 J := h×(F(a)+F(b)) J1: S := 0; for k := 1 (1) n S := S+F(a+(2×k-1)×h) I := J+4×h×S if (delta < abs(I-Ibar)) begin Ibar := I J := (I+J)/4 n := 2×n; h := h/2 go t​o J1 end Simps := I/3 return integer (k, n) end Simps

procedure Simps(F(), a, b, delta, V); comment a, b are the mi​n an​d ma​x, resp. o​f the points def. interval o​f integ. F() i​​s the fu​nction t​o inte​grated. delta i​s the permissible difference between two successive Simpson sums V i​s greater than maximum abso​lute value o​f F o​n a, b; begin Simps: Ibar:= V×(b-a) n := 1 h := (b-a)/2 J := h×(F(a)+F(b)) J1: S := 0; for k := 1 (1) n S := S+F(a+(2×k-1)×h) I := J+4×h×S if (delta < abs(I-Ibar)) begin Ibar:= I J := (I+J)/4 n := 2×n; h := h/2 go t​o J1 end Simps := I/3 return integer (k, n) end Simps

這裡在過程主體的複合語句的begin之後，必須為前面的過程頭部中聲明的過程名字包含此標識符的恰好一個語句標籤，它被用作過程入口點；這裡的非實數類型聲明integer (k, n)放在了過程主體的末尾，即就在這個複合語句的end之前；有標籤的複合語句在其end之後可以跟隨著這個標籤（尾隨;來分隔於後續字符），它被用來指示這個複合語句的範圍。

ALGOL 58對ALGOL 60的影響

• IAL介入了參考、出版和硬體語言的三級概念，和有別於自由選擇的標識符的有獨立表示的「字分界符」的概念（因此沒有保留字）。ALGOL 60保持了這種三級概念^[8]。
• IAL介入了對賦值（表示左向箭頭的:=）和等價關係=的區分，ALGOL 60保持了這種區分。
• IAL和ALGOL 60都允許了具有任意的下方和上方下標邊界的數組，並允許用整數表達式定義下標邊界。
• IAL和ALGOL 60都允許嵌套的過程定義以及對應標識符的作用域。
• IAL報告採用與ALGOL 60報告幾乎相同的術語描述參數替換，將傳名調用的可能性保留開放，但不清楚是否當時就認識到了這一點。
• IAL允許數值語句標號，ALGOL 60保持了它。
• IAL在程序內包括非ALGOL代碼的可能性，已經在過程參數的上下文中提示到了。
• IAL和ALGOL 60都有「switch指定式」，但無關於C語言及其有關語言的switch語句（英語：switch statement）。
• IAL提議了內聯函數形如f(x) := x / 2，這在ALGOL 60中被去掉了。
• IAL過程聲明為輸入和輸出參數提供了獨立聲明，過程可以返回多個值，這種機制在ALGOL 60中被替代為值聲明。
• IAL中的變量聲明可以位於程序中的任何位置而不必需在過程的開始處。與之相對，在ALGOL 60塊中的聲明的出現應當先於所有執行語句。
• IAL的for語句擁有形式for i := base (increment) limit，直接模仿了Rutishauser（英語：Heinz Rutishauser）的程式語言Superplan（英語：Superplan）的循環，將其=替代為:=，並將其德語關鍵字Für替代為英語翻譯for；ALGOL 60將圓括號替代為字分界符step和until，使得前者語句轉而寫為for i := base step increment until limit。
• IAL的if語句沒有then子句或else子句，它只是用布爾表達式守衛後續語句，進行關係運算的布爾表達式需要用圓括號包圍起來。IAL提供了交替語句if either ~ or if ~ end來清晰的允許多個條件的測試。二者都被替代為ALGOL的if ~ then ~ else ~構造，它介入了懸擺else（英語：Dangling else）歧義。
• IAL通過do語句提供宏替代，這在ALGOL 60中被去掉了。
• IAL允許在將數組傳遞給過程時忽略一個或多個數組下標，允許將給一個過程的任何或所有的實參傳遞給另一個過程。
• IAL的中綴布爾運算符都有相同的優先級。指數通過成對的上下箭頭來指示，這去除了嵌套指數的解釋混淆；ALGOL 60將成對的箭頭替代為一個單一的上箭頭，它的功能等價於FORTRAN的**。
• IAL報告不明確規定要提供哪些標準函數，模糊的提及了「標準分析函數」。ALGOL 60報告擁有標準函數的更明確列表。