 ALGOLのロゴ | |
| パラダイム | 手続き型プログラミング、構造化プログラミング、命令型プログラミング  |
|---|---|
| 登場時期 | 1958年 (68年前) (1958) |
| 設計者 | バウアー（英語版）、ルティシュハウザー、サメルソン（英語版）、バッカス、パリス、ナウア、ファン・ワインハールデン（英語版）、マッカーシー他 |
| 型付け | 強い静的型付け |
| 方言 | ALGOL 60、ALGOL 68 |
| 影響を受けた言語 | FORTRAN |
| 影響を与えた言語 | Pascal、C言語、PL/I、Simula、CPL、Ada、Mathematica |
| テンプレートを表示 | |
ALGOL（アルゴル）は、命令型プログラミング言語ファミリーの1つ[注 1]。名前「ALGOL」は「アルゴリズム言語」を意味する英語「algorithmiclanguage」に由来する[1]。1950年代中ごろに開発され、多くの言語に影響を及ぼし、ACMや教科書や学術論文などでアルゴリズム記述のデファクトスタンダードとして30年以上使われた[2]。現代の多くの言語が「ALGOL系」あるいは「ALGOL風」(algol-like) とされているという意味で[3]、ほぼ同世代の高水準言語であるFORTRAN、LISP、COBOL に比べて最も成功したと言うこともできる。FORTRANで明らかとなった問題を防ぐよう設計され、BCPL、B、Pascal、Simula、Cといった様々なプログラミング言語に影響を与えた。ALGOLは「begin とend で囲む」という構文によるブロック構造を導入し、制御構造を自在に入れ子（ネスト）にできる初の広まった言語となった。また構文の形式的定義を真剣に検討した最初のプログラミング言語でもあり、"Algol 60 Report"[4] で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として（プログラミング言語だけに限られず）定番の記法となっている。一方で、2009年にThe billion doller mistake（10億ドルの失敗）[5] と題し、アントニー・ホーアがAlgol 60で実装したNull参照は、後の言語がNullチェッカーやStandard ML由来のOption型やその類型を導入する（Null参照の主な用途に適切であった）など、決して良い影響ばかりを与えていたわけではない。
次の3つの主要な仕様が存在する。後ろについている数は最初に発表された年を表している。
IAL (ALGOL 58) は後の様々なプログラミング言語（いわゆるALGOL系言語）に大きな影響を及ぼし、一般にそれらの先祖とみなされている。また、ALGOLの仕様で示された中間コードはALGOL object code と呼ばれ、単純でコンパクトなスタックベースの命令セットアーキテクチャであり、計算機科学の分野でコンパイラ構築の教育に使われ、他の高水準言語の実装にも使われた。
1950年代後半、FORTRAN等の言語が米国で作られていたのに対抗して、ヨーロッパの学術研究者が世界共通のプログラミング言語として開発した。ALGOLは1958年にチューリッヒ工科大学で行われた国際会議で提案されたものが起源とされる。現代のプログラミング言語と比べて著しく異なる点のひとつに、reference syntax、publication syntax、implementation syntax という3種類の構文がある、ということが挙げられる。当時は文字コードの標準化以前であり、また数学の数式のように印刷したいという要望などもあったため、そのようなことになっている（違いは具象の違いであり、抽象構文は共通である）。これにより、キーワード名や小数点に使用する記号（カンマかピリオドか）を選ぶことなどもできた。
ALGOL 58 は主に欧米の計算機科学者がアルゴリズムの研究開発に用いた。商用アプリケーションにはあまり採用されていない。その原因は入出力機能が標準仕様に含まれていなかったためであり、またバロース以外の大手コンピュータメーカーがこの言語に興味を示さなかったためである。
ジョン・バッカスは ALGOL 58 を主たる対象としてプログラミング言語の文法を記述するバッカス正規記法 (Bakus normal form) を開発した。ピーター・ナウアはそれを ALGOL 60 向けに拡張・改訂。ドナルド・クヌースがバッカス・ナウア記法 (Bakus-Naur Form) と改称することを提案した[9]。
ピーター・ナウアはALGOL Bulletin という学術誌の編集者としてこの言語の国際的議論に参加し、1959年11月にヨーロッパの言語設計グループの一員に選ばれた。そして "Algol 60 Report" の編集者となり、1960年1月にパリで開催された ALGOL 60 についての国際会議の結果を発表した[10]。
このパリでの会議（1960年1月1日から16日まで開催）には以下の人々が参加している。
アラン・パリスはこの会議について、「会合は疲れさせるもので、果てしなく、活発だった。ある人のよいアイデアが悪いアイデアと共に却下されると、その人は機嫌を損ねた。それにもかかわらず、期間中ずっと勤勉さが持続した。13人の作用は素晴らしいものだった」と評している。
ALGOL 60 はその後の多数の言語に影響を与えた。アントニー・ホーアは ALGOL 60 を「時代に先行していて、それまでの言語の改良だっただけでなく、その後のほぼ全ての後継者の先駆者となった言語」と評している[11]。SchemeというLisp方言の設計者は、その静的スコープは ALGOL からの影響だと述べている。またSchemeの仕様の名称 "Revised Report on the Algorithmic Language Scheme" もALGOLへのオマージュである[12]。
1968年には、後継としてALGOL 68 が開発された。ALGOL 68 では、2段階文法のワインハールデン記法で文法が記述された。ALGOL 60 の後継言語制定に至るまでの候補としてニクラウス・ヴィルトのALGOL W、日本で設計されたALGOL N 等もあったが最終的にALGOL 68 が後継として制定された。しかし、あまりに複雑かつ巨大な仕様のためALGOL 68 コンパイラの実装は難しく、またワインハールデン記法が難解なこともあり実用的には、ほとんど普及しなかった。そのため単に ALGOL と言った場合にはALGOL 68 ではなくて ALGOL 60 やその方言を指すのが一般的である。
言語の標準化としては、IFIP TC2/WG2.1 においてALGOL 60 が制定された。その後、遅々として標準化作業はすすまず、1984年になって、ISOでALGOL 60 相当の言語が標準化されたのみである。日本では、かつてALGOL 60 の言語規格と入出力ライブラリ規格をそれぞれJIS規格で制定していたが (JIS C 6210-6219)、1983年（昭和58年）9月1日付で廃止された。
ピーター・ランディン（英語版）が指摘したように、ALGOLは命令型の副作用と（名前渡しの）ラムダ計算を一体に結合した初の言語である。この言語の最も見事な定式化はおそらくジョン・C・レイノルズ（英語版）によるもので、その文法および意味論の純粋さをよく表している。レイノルズの「理想化した」ALGOLも名前渡しの言語のコンテキストにおける「ローカル」な副作用の適切さについて説得力のある方法論的主張を行っており、MLのような値渡しの言語が使用する「グローバル」な副作用と対比される。ALGOLの概念的完全性により、PCF（英語版）やMLと共に意味論研究の主な対象とされるようになった[13]。
これまでに ALGOL 60 の強化版、拡張版、派生版、サブ言語などが少なくとも70ほど存在した[14]。
ALGOL 60 の実装に関する問題は、Nicholas Enticknap と Pat Woodroffe の書いた "The early days of Algol" で詳しく議論されている。
| 名称 | 年 | 作者 | 国 | 説明 | 対象システム |
|---|---|---|---|---|---|
| ZMMD-implementation | 1958年 | Bauer, Rutishauser, Samelson, Bottenbruch | ドイツ | ALGOL 58 の実装 | Z22 （後にツーゼのZ23[15]向けに ALGOL 60 コンパイラを提供している） |
| X1 ALGOL 60 | 1960年8月[16] | エドガー・ダイクストラ、 Jaap A. Zonneveld | オランダ | ALGOL 60 の世界初の実装[17] | Electrologica X1 |
| Elliott ALGOL | 1960年代 | アントニー・ホーア | イギリス | Elliott 803 & Elliott 503 | |
| JOVIAL | 1960年 | Jules Schwarz | アメリカ | Ada以前のDODHOL | 各種 |
| Burroughs Algol （いくつか派生がある） | 1961年 | バロース（ホーアやダイクストラも参加） | アメリカ | バロースのメインフレーム（およびユニシスの後継シリーズ）の基盤 | バロースの大型機 および中型機 |
| Case ALGOL | 1961年 | ケース・ウェスタン・リザーブ大学[18] | アメリカ | Simulaは Case ALGOL のシミュレーション向け拡張として開発された。 | UNIVAC 1107 |
| GOGOL | 1961年 | Bill McKeeman | アメリカ | ODINタイムシェアリングシステム向け | PDP-1 |
| RegneCentralen ALGOL | 1961年 | ピーター・ナウア、Jørn Jensen | デンマーク | ALGOL 60 の完全実装 | DASK (Regnecentralen) |
| Dartmouth ALGOL 30 | 1962年 | トーマス・ユージン・カーツ 他 | アメリカ | LGP-30 | |
| USS 90 Algol | 1962年 | L. Petrone | イタリア | ||
| Algol Translator | 1962年 | G. van der Mey,W.L. van der Poel | オランダ | オランダ国営電話会社 | ZEBRA |
| Kidsgrove Algol | 1963年 | F. G. Duncan | イギリス | イングリッシュ・エレクトリックKDF9 | |
| VALGOL | 1963年 | Val Schorre | アメリカ | META IIコンパイラジェネレータのテストとして開発 | |
| Whetstone | 1964年 | Brian Randell, L J Russell | イギリス | イングリッシュ・エレクトリックKDF9 | |
| NU ALGOL | 1965年 | ノルウェー | UNIVAC | ||
| ALGEK | 1965年 | ソビエト連邦 | ALGOL 60 とCOBOLに基づいた経済タスク用 | Minsk-22 | |
| MALGOL | 1966年 | publ. A. Viil, M Kotli & M. Rakhendi | エストニア・ソビエト社会主義共和国 | Minsk-22 | |
| ALGAMS | 1967年 | GAMS（中型機のための自動プログラミング）グループとコメコン科学アカデミーの共同開発 | コメコン | Minsk-22、後にES EVM、BESM | |
| ALGOL/ZAM | 1967年 | ポーランド | ZAM（ポーランド製） | ||
| Simula 67 | 1967年 | オーレ＝ヨハン・ダール、クリステン・ニゴール | ノルウェー | ALGOL 60 にオブジェクトクラスを導入 | UNIVAC 1107 |
| Chinese Algol | 1972年 | 中国 | 漢字を表示可能 | ||
| DG/L | 1972年 | データゼネラル | アメリカ | Eclipseファミリ | |
| S-algol | 1979年 | Ron Morrison | イギリス | 直交データ型を追加。教育向け | PDP-11（後にJava VM 上にも実装） |
同時期のFORTRAN、COBOL と比べると、これらの言語が特定のハードウェア上で特定の目的を効率良くこなすための一種のドメイン特化型言語から始まったのに対し、ALGOL はいったんハードウェアの特性は置いておき、抽象的なアルゴリズムを手続きとして記述する事を目指している。初期のALGOL 60 仕様では入出力手続きすら標準化されていなかった点から見ても、できる限り言語コアの抽象度を上げようとしていたことは想像に難くない。FORTRAN、COBOL が直系子孫以外に余り枝分かれをしていないのに対して、ALGOL 系が大きな多様性を獲得したのもこの抽象性による所が大と言える。従ってALGOL の策定をもって、ソフトウェアのモジュール化、計算機の汎用化が始まった瞬間と捉えても差し支えないであろう。
ALGOL 60 は、手続き型言語として再帰呼び出しが可能な初めてのプログラミング言語である。
公式のALGOL 60 では入出力機能が定義されていなかったため、実際の処理系ではそれぞれに互換性のない方法で実装された。それに対して、ALGOL 68ではtransput[注 2]のための豊富なライブラリが提供された。
ALGOL 60 では引数渡しに2種類の評価戦略が定義されている。一般的な値渡しとALGOL に特徴的な名前渡しである。名前渡しは実際のところ、手続き型言語では扱いがかなり難しい。例えば、2つの引数の値を入れ替える手続きを書いたとき、ある整数変数とその整数変数を添え字とする配列要素をその引数として渡すことができない[19]。すなわち swap(i, A[i]) という場合である（詳しくは引数#名前渡しを参照）。乱数関数を渡す場合にも問題が生じる。
しかし、ALGOLの設計者は名前渡しをデフォルトとした。また、言語処理系実装者たちは名前渡しの実現にThunk(サンク)（英語版）という興味深い技法を編み出した。現在、素朴な（ALGOLのような）名前渡しは完全に廃れたが、サンクは遅延（非正格）評価を実装する一般的な手法として知られる。ドナルド・クヌースは処理系が「再帰呼び出しと非局所的参照」を正しく実装しているかを評価するman or boy test（英語版）を考案した。このテストには名前呼び出しの例が含まれている（クヌースらは他にも、名前渡しの「悪用」とでも言うべきJensen's Device（英語版）と後に呼ばれるようになるような技法の一例を示した "ALGOL 60 Confidential"[20]など、仕様のコーナーケースを暴き、コンピュータ・プログラミング言語設計の難しさをあらわにした）。
ALGOL の影響として、後の言語のうちの最も多くに影響があるものは、BEGIN/END（C 言語などでは{}）の入れ子によるブロック構造化、つまり次のような典型的な形の記法であろう。
BEGIN X := 1 ; IF (X > 0) THEN BEGIN : END END
俗に「ALGOL 文法」といった場合は、このブロック構造化記法のことを指していることがある（C言語のように他の記号を使うものも含めて指していることもあれば、そうではなくてBEGIN/ENDのようにキーワードを使う、という意味で言っていることもある）。後の静的スコープの言語についても、ALGOLからの影響と言われることがある。
次のコードはALGOL 60 でn × m の2次元配列の中から絶対値が最大の要素を求め、その絶対値をyに、添え字をiとkに格納する手続きを記述したものである。なお、コード中で強調表示されている予約語の記法は処理系に依存する。例えば "INTEGER" は "integer" と書かれることもある（ストロッピング（英語版））。
PROCEDURE Absmax(a) Size:(n, m) Result:(y) Subscripts:(i, k) ; VALUE n, m ; ARRAY a ; INTEGER n, m, i, k ; REAL y ; COMMENT The absolute greatest element of the matrix a, of size n by m is transferred to y, and the subscripts of this element to i and k ; BEGIN INTEGER p, q ; y := 0 ; i := k := 1 ; FOR p := 1 STEP 1 UNTIL n DO FOR q := 1 STEP 1 UNTIL m DO IF abs (a[p, q]) > y THEN BEGIN y := abs (a[p, q]) ; i := p; k := q END END Absmax
次の例は Elliott 803 ALGOL[21] で表を生成する方法を示したものである。
FLOATING POINT ALGOL TEST' BEGIN REAL A,B,C,D' READ D' FOR A:= 0.0 STEP D UNTIL 6.3 DO BEGIN PRINT PUNCH(3),££L??' B := SIN(A)' C := COS(A)' PRINT PUNCH(3),SAMELINE,ALIGNED(1,6),A,B,C' END' END'
PUNCH(3) は紙テープのさん孔装置ではなくテレタイプ端末のプリンターへ出力を送るものである。SAMELINE は引数間で通常行われる復帰改行を抑制する。ALIGNED(1,6) は出力を小数点以上を1文字、小数点以下を6文字とするようフォーマットする。
次のコード例は上掲の ALGOL 60 のコード例の ALGOL 68 版である。
ALGOL 68 でも ALGOL 60 のストロッピング（英語版）を再利用している。
PROC ABS max = ([,]real a, REF real y, REF int i, k)real: COMMENT The absolute greatest element of the matrix a, of size ⌈a by 2⌈a is transferred to y, and the subscripts of this element to i and k; COMMENT BEGIN real y := 0; i := ⌊a; k := 2⌊a; FOR p FROM ⌊a TO ⌈a DO FOR q FROM 2⌊a TO 2⌈a DO IF ABS a[p, q] > y THEN y := ABS a[p, q]; i := p; k := q FI OD OD; y END # abs max #
なお、lower (⌊) と upper (⌈) は配列の境界を示し、配列を走査する際の添え字の範囲指定に使える。
floating point algol68 test: ( real a,b,c,d; printf(($pg$,"Enter d:")); read(d); FOR step FROM 0 WHILE a:=step*d; a <= 2*pi DO printf($l$); b := sin(a); c := cos(a); printf(($z-d.6d$,a,b,c)) OD )
printf はファイルstand out に出力を送る。printf($p$); は改頁、printf($l$); は改行である。printf(($z-d.6d$,a,b,c)) は小数点以上を1桁、小数点以下を6桁にフォーマットして出力する。
ALGOLの各種実装における移植性の無さは、Hello World プログラムで簡単に示すことができる。
ALGOL 58 には入出力機能が存在しないので、例示できない。
ALGOL 60 にも入出力機能がないので、Hello World プログラムの移植性はない。以下に示すのはユニシスのメインフレームで今も使用可能なALGOLの実装に対応したもので、ミシガン大学のThe Language Guide にあるコード例を単純化したものである[22]。
BEGIN FILE F(KIND=REMOTE); EBCDIC ARRAY E[0:11]; REPLACE E BY "HELLO WORLD!"; WRITE(F, *, E); END.
インラインフォーマットを使ったさらに単純なプログラムは次のようになる。
BEGIN FILE F(KIND=REMOTE); WRITE(F, <"HELLO WORLD!">); END.
Display文を使うとさらに次のように単純化される。
BEGIN DISPLAY("HELLO WORLD!") END.もう1つの例として Elliott Algol のコード例を示す。Elliott Algol は引用開始符号と引用終了符号とで異なる文字を使用する。
program HiFolks;beginprint ‘Hello world’;end;
次は Elliott 803 Algol (A104) の例である。Elliott 803 は標準では5孔の紙テープを使用するので、大文字しか使えない。引用符として使える文字もないため、ポンド記号 (£) を引用開始、疑問符 (?) を引用終了に使用している。特殊シーケンスは二重引用内に置かれる（例えば、££L?? は改行指示である）。
HIFOLKS' BEGIN PRINT £HELLO WORLD£L??' END'
ICT 1900シリーズのALGOLでは、紙テープまたはパンチカードを入力として利用可能である。紙テープは小文字も使用可能である。出力はラインプリンターに対して行う。
'BEGIN' 'WRITE TEXT'("HELLO WORLD"); 'END'ALGOL 68 のコードは一般に太字または下線つきの小文字で予約語を表す（ただし、以下の例はシンタックスハイライトのために大文字にしている）。
BEGIN printf(($gl$,"Hello, world!")) END
"Algol 68 Report" では、入出力を "transput" と称している。
ALGOLは文字セットが急速に発展し多様化していた時代に登場した。また、ALGOLは大文字だけで記述できるよう定義されていた。
1960年の情報処理国際連合 (IFIP) で発表された ALGOL 60 では、当時のほとんどのコンピュータではサポートされていない数学記号がいくつか使われていた。例えば、×, ÷, ≤, ≥, ≠, ¬, ∨, ∧, ⊂, ≡, ␣,⏨[注 3] などである。
1961年9月、初期のASCII文字セットが登場し、ALGOLのブーリアン演算子 "\/" と "/\" をサポートするためにバックスラッシュ (\) が初期段階で追加された[23]。
1962年、ALCOR（英語版）は2つの珍しい文字、"᛭" (iron/runic cross) と "⏨" (Decimal Exponent Symbol) を浮動小数点形式で使用するためにALGOLの文字セットに加えた[24][25][26]。
1964年、ソビエト連邦が策定したGOST規格GOST 10859 で、ALGOL用の4ビット、5ビット、6ビット、7ビットの文字セットを定義した[27]。
1968年の "Algol 68 Report" では既存のALGOL用文字セットに加えて、IBM 2741 端末（1965年に登場したAPL対応端末）で使用可能な→, ↓, ↑, □, ⌊, ⌈, ⎩, ⎧, ○, ⊥, ¢ という文字を加えた。このレポートはロシア語、ドイツ語、フランス語、ブルガリア語に翻訳され、それぞれの言語向けに文字セットが拡張された。例えばソビエト連邦のBESM-4はキリル文字が使用可能だった。ALGOLの使用する全ての文字はUnicode規格の一部になっており、その大部分は主要なフォントが対応している。
2009年10月、浮動小数点形式記述のための "⏨" (Decimal Exponent Symbol) が Unicode 5.2 に追加された[注 3]。これはブランで使われたALGOLソフトウェアとの後方互換を保つためである。