アルゴル58

ALGOL 58 は、元々IALと呼ばれていたもので、 ALGOLコンピュータプログラミング言語のファミリーの 1 つです。これは初期の妥協設計であり、すぐにALGOL 60に置き換えられました。John Backusによると、

チューリッヒACM-GAMM会議がIALを提案した主な動機は2つあった。(a)数値手法やその他の手順を人々の間で伝達する手段を提供すること、(b)さまざまなマシン上で規定されたプロセスを実現する手段を提供すること... ^[2]

ALGOL 58 では複合文という基本的な概念が導入されましたが、これは制御フローのみに制限されており、 Algol 60 のブロックのように識別子のスコープには結び付けられていませんでした。

バウアーは、この名前を、1957年に「少なくともドイツでは」アルゴリズム言語（algorithmische Sprache）という用語を作ったヘルマン・ボッテンブルッフに帰している。 ^{[3] [4]}

計算機協会(ACM) とドイツ応用数学・力学協会(GAMM) から、共通言語の提案がありました。これらを統合する合同会議を開催することが決定されました。会議は 1958 年 5 月 27 日から 6 月 2 日まで、 ETH チューリッヒで開催され、次の人々が出席しました。

• フリードリヒ・L・バウアー、ヘルマン・ボッテンブルッフ、ハインツ・ルーティシャウザー、クラウス・ザメルソン（GAMMより）
• John Backus、Charles Katz、Alan Perlis、Joseph Henry Wegstein (ACM より)。

この言語は当初IAL (国際代数言語)と呼ばれることが提案されましたが、Perlis によれば^[5] これは「口に出せない」大げさな頭字語として却下されました。代わりに ALGOL が提案されましたが、正式に採用されたのは 1 年後でした。会議後の出版物では、IAL という名前がまだ使用されていました^{[6] 。}

1958 年末までに、ZMMD グループはZ22コンピュータ用の実用的な ALGOL 58 コンパイラを構築しました。ZMMD は、チューリッヒ (Rutishauser が働いていた場所)、ミュンヘン (Bauer と Samelson の仕事場)、マインツ (Z22 コンピュータの所在地)、ダルムシュタット (Bottenbruch の仕事場) の略称です。

ALGOL 58はIBMで実装作業が行われたが、FORTRANと競合したためすぐに放棄された。また、ダートマス大学でもLGP-30で実装されたが、その実装はすぐにALGOL 60に進化した。Burroughs 220用のBALGOLと呼ばれる実装も独自の方向に進化したが、ALGOL 58の本来の特徴を多く残した。^[7]

ALGOL 58の主な貢献は後の言語への貢献であり、 JOVIAL、^[4]、 MAD、NELIAC ^[4]、ALGOの基礎として使用されました。また、1959年にはCACMでアルゴリズムを公開するために使用され、出版でALGOL表記を使用する傾向が長年にわたって続きました。

• IALは、参照、出版、ハードウェア言語の3レベルの概念と、自由に選択された識別子とは別の表現を持つ「単語区切り文字」の概念（したがって予約語がない）を導入しました。ALGOL 60はこの3レベルの概念を維持しました。^[8]
• :=代入（左向きの矢印を表す）と等価関係の区別は=IALで導入され、ALGOL 60でも維持されました。
• IAL と ALGOL 60 はどちらも、任意の下限と上限の添字を持つ配列を許可し、添字の境界を整数式で定義できるようにします。
• IAL と ALGOL 60 はどちらも、プロシージャ宣言と対応する識別子スコープのネストを許可します。
• IAL レポートでは、ALGOL 60 レポートとほぼ同じ用語でパラメータ置換について説明しており、名前による呼び出しの可能性を残しています。当時これが実現されていたかどうかは不明です。
• IAL は、ALGOL 60 が保持していた数値ステートメント ラベルを許可します。
• プログラム内に非 ALGOL コードを含める可能性については、プロシージャのパラメータのコンテキストですでに示唆されていました。
• IAL と ALGOL 60 の両方にswitch 指定子がありますが、これはC や他の言語のswitch ステートメントとは関係ありません。
• ;形式のインライン関数はIAL で提案されましたが、 ALGOL 60 では削除されました。f(x) := x / 2
• IAL プロシージャ宣言は、入力パラメータと出力パラメータに対して個別の宣言リストを提供し、プロシージャは複数の値を返すことができます。このメカニズムは、ALGOL 60 で値宣言に置き換えられました。
• IAL の変数宣言はプログラム内の任意の場所に配置でき、必ずしもプロシージャの先頭に配置する必要はありません。対照的に、ALGOL 60 ブロック内の宣言は、すべての実行ステートメントの前に配置する必要があります。
• for文はという形式であり、Rutishauser のプログラミング言語Superplanfor i:=base(increment)limitのループに直接似ていますが、が に置き換えられ、そのドイツ語のキーワードが直接的な英語の翻訳 に置き換えられています。ALGOL 60 では、括弧が単語区切り文字と に置き換えられたため、前の文は になります。=:=Fürforstepuntili:=base step increment until limit
• IAL のif文にはthen節やelse節がありません。代わりに、後続の文を保護します。IAL は、複数の条件をきれいにテストできるif Either文を提供します。どちらも ALGOL のif - then構造に置き換えられ、「ぶら下がりelse」の曖昧さが導入されました。
• IAL はdoステートメントによるマクロ置換を提供しますが、これは ALGOL 60 では削除されました。
• IAL を使用すると、配列をプロシージャに渡すときに 1 つ以上の配列添字を省略したり、プロシージャに渡される引数の一部またはすべてを別のプロシージャに提供したりすることができます。
• IAL のインフィックスブール演算子はすべて同じ優先順位です。指数は上矢印と下矢印のペアで示され、ネストされた指数の正しい解釈に関する混乱がなくなりました。ALGOL 60 では、ペアの矢印が、FORTRAN の**と同等の機能を持つ単一の上矢印に置き換えられました。
• IAL レポートでは、提供される標準関数が明確に指定されておらず、「分析の標準関数」への言及が曖昧です。ALGOL 60 レポートには、より明確な標準関数のリストがあります。

• ソフトウェア保存グループの Algol 58 ( Computer History Museum を参照)
• ソフトウェア保存グループの CACM からの Algol 58 レポート
• BALGOL マニュアル バローズ代数コンパイラ (1963 改訂版)
• The Burroughs 205 および 220 のブログにおける BALGOL の背景