Pascal

パラダイム	命令型プログラミング、構造化プログラミング
登場時期	1970年 (54年前) (1970)
開発者	ニクラウス・ヴィルト
型付け	強い静的型付け
主な処理系	CDC 6000、Delphi、ICL 1900、Pascal-P、PDP-11、PDP-10、IBM System/370、HP Pascal、Free Pascal、GNU Pascal
方言	Delphi、Turbo Pascal、UCSD Pascal
影響を受けた言語	ALGOL、ALGOL 60、ALGOL W、Simula
影響を与えた言語	Ada、Component Pascal、Go、Java[1]、Modula / -2 / -3、Oberon / -2、Object Pascal、Oxygene、Seed7
拡張子	pp、p、pas
テンプレートを表示

プログラミング言語

>>他のプログラミング言語

■カテゴリ / ■テンプレート

Pascal（パスカル）は、1970年に発表されたプログラミング言語。ニクラウス・ヴィルトにより構造化プログラミングとして設計・デザインされた。名称は、ブレーズ・パスカルにちなむ。

ALGOL、ALGOL Wをベースとし、簡素だがよく整った言語仕様（構文と意味）を持つ。プログラミング教育を意識しており、「判読性」を重視している反面、「最適化」を犠牲にしていると批判もされた。 言語的には、自身のコンパイラを自身で書けるといった、言語処理系のブートストラップを備え、多くの#実用プログラム例を持っている。

教育を主目的としつつ、コンパイラが記述できる程度に強力な言語を目指し、当初、ヴィルト自身がPascalコンパイラをPascal自身で書いてみせ、その能力を示した（後のModula-2では、オペレーティングシステムをModula-2で書いてみせた）。当時 FORTRAN 以外のコンパイラは生成される機械語が冗長で最適化が難しいと言われていたが、「言語仕様と最適化は独立した問題である」ことを証明するという目的もあったらしい。^[要出典]

Pascalの単純さは、例えば構文がLL(1)であることなどによく現れている^{[注釈 1]}。全ての名札、定数、型名、変数、サブルーチン^{[注釈 2]}は使用に先立って定義しておく必要がある。ポインタを用いたリストのような型の定義や、交互にサブルーチンが呼び合うためには、例外的な構文を使わねばならない。ポインタに限っては、参照される型の定義の前に、その型を参照するような定義ができた。また、サブルーチンの定義部分だけを先に記述する方法で解決した。

その結果、パーサはLL(1)パーサであり、バックエンドはいわゆるワンパスコンパイラであった^{[注釈 3]}。なお、他言語のコンパイラでは、2回以上走査を行うマルチパス形式のものが多かった。マルチパス形式では、最初の走査で識別子等の情報を中心に情報収集を行い、後続の走査でそれらの情報を参照しつつ実行ファイルを生成するため、コンパイル速度面では不利だが、最適化の点で有利となる。絶望的に遅いフロッピーディスクを作業ディスクとするユーザが多かった初期のパーソナルコンピュータでは、ワンパスコンパイラであることは大いに利点となった。 なお、Turbo Pascalの高速性は、アセンブラで記述されていたことも一因であるが、Pascalの簡潔な仕様を活かしメモリを使える限り使ってファイルアクセスを最小限に留めることで実現された。

ALGOL由来の制御構造、サブルーチンの中に、そのサブルーチン内からのみ見えるローカルな変数、そのサブルーチン内からのみ呼び出せるサブルーチン等を定義できるといった、スコープの概念と再帰的な構文構造（ブロック構造と呼ぶ）、静的スコープによる参照の局所化機能を持つ。さらに、豊富なデータ型と、COBOL に見られた構造体を含む新しいデータ型を定義できるという特徴も持っている。レコード型とポインタを用いてリスト、木といったデータ構造を自由に構築することができる（二分木#データの二分木への格納法の例参照）。なお由来は不明だが、最後にピリオドを付けるという、微妙にALGOLの構文と違う点がある。

Pascalの注目すべきは、変数の宣言を「変数名、型名」の順序とした記法であろう。ALGOLを源流とするC言語などでは、変数などの定義でint xといったような「型名 変数名」という順序で記述される。一方、Pascalでは「var x : int」というような、「変数名 型名」の順序で記述する。この記法は数学などと類似の記法であるため、ヴィルトの完全なオリジナルだとは言いにくいが、最初に述べたALGOL WではALGOLと同様であるので、プログラミング言語への導入としてはオリジナリティが高いものと考えられる。この点について、JavaなどはC言語の構文の小改良にとどまっているが、LimboやGo言語などC言語を使い尽した設計者らによる新言語が、Pascalに似た記法としていることは特筆事項であろう。なお、ALGOL系ではAdaも変数などの型の記述を、これに類似した構文としている。ScalaやKotlinといったJava VM環境で動作する後発言語も、型を後置する記法を採用している。この表記法は型推論の普及に伴って良い方向に働いた。型名を前置する言語では、「=」の左辺において、型名があれば変数の宣言と初期化、変数名だけなら代入として区別できるが、型推論では型名が省略されてしまうため区別できなくなる。その結果、C++やDでは「auto」などの接頭辞が必要で、初学者にとってはautoのような型があるかのようにみえてしまう。型名を後置する言語ではそのような問題はない。

コンパイル時にできるだけ多くの不注意による誤りを発見できる、強く型付けされた（strongly typed）言語であり、またハードウェアを隠蔽する思想が徹底している。たとえば集合型、ポインタ型はそれぞれビットマップとアドレスを抽象化したものと考えられる。また Pascal は教育用ということもあり、最初の仕様では分割コンパイルや外部ライブラリの利用が考慮されていなかった。これは大規模なプログラムを記述したり、ハードウェアを直接操作するプログラムを記述するには不便な仕様であり、入出力の扱いなど処理系に依存しなければならない部分を言語の中に抱える結果に繋がった。たとえばファイル型変数に特定のファイルを関連付ける標準的な方法はない。ヴィルト自身は Modula-2 でこれらの要請に応える一方で、Pascalでは実装のベンダがそれぞれ独自の拡張を施して、分割コンパイルやハードウェアの直接操作を可能としたが、この部分の互換性は乏しい。

配列についても問題点が発覚した。Pascalでは静的配列のみをサポートする。これはコンパイル時にサイズが決定され、実行中はサイズを変更できない。しかし実際のプログラムは実行するまでサイズが決められないことが多く、後発の言語は実行中にサイズを変更できる動的配列をサポートしている。

著名なものに、TeX^{[注釈 4]}、初期のMacintoshのオペレーティングシステムおよびアプリケーションなどがある。

処理系に関しても、2019年現在も多くのプラットフォームに多くの実装がある。

• AVRco^[2] - マイクロプロセッサ用の Pascal。
• Delphi - 現在最もメジャーな Pascal。
• DWScript^[3] - Delphi用のスクリプトエンジン。
• Free Pascal - オープンソースの Pascal。
• GNU Pascal - オープンソースの Pascal。
• IP Pascal ^[4]- 標準 Pascal をベースに拡張された Pascal。
• mikropascal^[5] - マイクロプロセッサ用の Pascal。
• Modern Pascal^[6] - Free Pascalで書かれたマルチプラットフォームのインタプリタおよびP-Codeコンパイラ。
• NewPascal^[7] - Lazarus / Free Pascal のフォーク。
• Open Sibyl^[8] - Speedsoft Sibyl のオープンソース実装。
• Oxygene - .NET 用の Object Pascal。
• PascalABC.NET^[9] - .NET 用の Object Pascal。
• Pascal Script^[10] - DelphiまたはFree Pascalプロジェクト内で使えるスクリプトエンジン。
• Pascal-P5^[11] - 標準 Pascal に準拠したフルセットの Pascal-P。
• PICco^[12] - マイクロプロセッサ用の Pascal。
• THINK Pascal^[13] - Classic MacOS 用の 4.5d4 が無償公開されている。
• Turbo Rascal^[14] - Commodore 64/128、VIC-20、Nintendo ファミリーコンピュータ向けのクロスコンパイラ。
• Turbo51^[15] - 8051 マイクロプロセッサ用の Pascal。
• Ultibo^[16] - Raspberry Pi ベアメタルプログラミング用環境（Lazarus / Free Pascal のカスタマイズ）。
• Vector Pascal^[17] - MMXやAMD 3d NowなどのSIMD命令セット用のPascal。
• Virtual Pascal^[18] - DOS、Windows、OS/2用
• WDSibyl^[19] - Speedsoft Sibyl のオープンソース実装。

最初のPascalコンパイラは、CDC 6000 シリーズ用に1970年に書かれた1パスコンパイラで、それ自身が Pascal で書かれていた^[20]。CDC 6000 シリーズは 1ワードが 60ビットのマシンであった。Pascal には、メモリを節約するための詰め合わせ機能(pack/unpack)や、10文字（1文字は6ビット）の詰め合わせ文字列である alfa 型の存在^[21]、長いワードをビットごとに扱うための集合型など、CDC のアーキテクチャの影響を受けた箇所がある。CDC 用のコンパイラは、extern 宣言によって外部ライブラリを読み込むことができた^[22]。

1972年から1974年にかけてチューリッヒ工科大学で書かれたPascal-P^[23]は、Pascal からP コードへのコンパイラと、Pコードインタプリタからなる中間言語コンパイラで、やはり Pascal 自身で書かれていた。このことにより、後の Java が異なるアーキテクチャの計算機への移植が進んだのと同様、多くの計算機への移植が進んだ。中間言語コンパイラを移植するためには、仮想スタックマシンであるPコードマシンのエミュレータを移植元の機械で開発し、コンパイラを移植先の機械でコンパイルするだけで良い。1970 - 80年代の低速な計算機では、このような中間言語方式では性能が不十分だった。Pascal-PにはPascal-P1・Pascal-P2・Pascal-P3・Pascal-P4の4つのバージョンがあるが、いずれもPascalのサブセット実装となっている。

1975年にニクラウス・ヴィルトがインタプリタであるPascal-S^[24]を書いた。サブセットであるとはいえ、このPascalのソースコードは2,000行程しかない。

同じく1975年にカリフォルニア工科大学で Pascal を並列動作用に拡張したConcurrent Pascalが開発され、それを使ってシングルユーザのオペレーティングシステムを開発し、Pascal がシステムプログラミングにも優れていることを明らかにした^[25]。

1978年にカリフォルニア大学サンディエゴ校（UCSD）でPascal-P2をベースにしたUCSD Pascalが開発された。これは、異なるプラットフォームに移植できるカスタムオペレーティングシステム（UCSD p-System）上で実行可能なバージョンである。Appleもライセンスを取得し、Apple IIやApple IIIへ移植されている。

日本では、1979年にシャープ製MZシリーズ向けに「Tiny PASCAL PALL」として発売されている^[26]。

ISOではPascalを1983年にISO 7185として標準化し現在は1990年版である。対応する日本の規格はJIS X 3008-1990で、改訂版は1994である。標準 Pascal には水準0と水準1があり、後者は長さの異なる配列を引数に取るための整合配列が使える^[27]。また、拡張規格としてISO/IEC 10206が1991年に策定された。1993年のオブジェクト指向拡張の規格はドラフトで終わっている。

以前ならばALGOLが使われていたであろう、論文や学会誌等におけるアルゴリズムの記述に、ALGOLに代わってPascalは使われるようになった。

Pascal は、アルゴリズムの教科書にしばしば使われた。ヴィルト自身による『アルゴリズム+データ構造=プログラム』をはじめ、エイホ・ホップクロフト・ウルマン『データ構造とアルゴリズム』などは Pascal を使用している。

1970年代末のパソコン上のシステムでは、Apple II や Z80 システムで動作する UCSD Pascalが動いていた^[28]。UCSD Pascal はPコードを使った中間コードコンパイラで、文字列型・case文の拡張・ユニットを使った Modula-2 風の分割コンパイルなどをサポートしており、言語以外にメニューを使ったユーザーインターフェースも優れていた。

ほかに、デジタルリサーチの Pascal/MT+ やJRTシステムズ社の JRT pascal（日本ではライフボートが αPascal として販売した）などが販売されていた。

1983年にボーランドが発売したTurbo Pascalは（当初はZ80マシンのCP/Mで動作する）、大変高速な1パスコンパイラ兼開発環境である。続いて8086マシン用（CP/M-86, MS-DOS）がリリースされ、1980年代後半〜1990年代前半に一般個人が所有するパーソナルコンピュータの環境として最も数の多かったMS-DOSにおいて大きな人気を得た。ビルドの高速さは、「コンパイラは、コンパイル時間があるので不便だ」という意識を、十分に速い環境であればたいして気にならないのだ、という事実を示して塗り替えた。さらにWordStar風のキー操作を持った、当時としては高機能なフルスクリーンエディタを備えていながら低価格であったため、日本では「フルスクリーンエディタを買うと、おまけに高速な Pascal コンパイラが付いてくる」とまで言われたほどである。^[要出典]

「Turbo Pascal」は、版を重ねるにつれてモジュール機能やオブジェクト指向の拡張を加え、「Pascal処理系の実装としての名前」というよりも「Pascal を拡張した言語の名前」となった。オブジェクト指向の拡張はやがてObject Pascalという言語として認知されるようになった。ボーランドはObject Pascalの開発環境をより充実させたWindows向けの製品としてDelphiをリリースした。

Turbo Pascal と Delphi の成功によって、互換を謳った実装が開発されている。商用のものとしては Speed Pascal、Virtual Pascal、マイクロソフトのQuickPascalがあり、フリーソフトとしては Free Pascal（元 FPK Pascal）が広い範囲のプラットフォームで動作する。ISO 標準 Pascal を意識したものでは、GNU Pascal がある。また、ボーランド自身がDelphiをベースにして作ったGNU/Linux向け開発環境のKylixもある。

当初、Macintoshにはセルフ開発環境はなく、システムの開発およびアプリケーションのクロス開発用プラットフォームとして、もっぱらLisa上でIDEのLisa Workshopを使用した。Lisaの公式開発言語はPascalだったためMacintosh Toolboxと呼ぶAPIにおいても、その呼び出し手法がPascalに準拠していたのはこうした理由による。Lisa PascalはSilicon Valley Software社の68000用ネイティブコードコンパイラをライセンス取得したもので、後にオブジェクト指向を取り入れたClascalに進化する。

後に登場したMacintosh用セルフ開発環境Macintosh Programmer's Workshop（英語版）（MPW）にはヴィルトと Apple のラリー・テスラー率いるチームが開発したObject Pascalが含まれていた。これはClascalの言語仕様を整理・発展させたものである。この環境で書かれていたアプリケーションとしてAdobe Photoshopがある。

ニクラス・ヴィルト自身によって、Pascalや他の言語の経験にもとづき、後継と言える言語が設計されている。Pascalとの互換性を残した拡張といったようなスタイルではなく、そのため名前にもPascalを含めていない。

• Modula - モジュール化などを指向した。Modula-2の方へ移ったため実質未完成。途上版のコンパイラだけがリリースされたらしい^[要出典]。
• Modula-2 - モジュール化などの機能を追加した。ヴィルトは、Modula-2だけでオペレーティングシステムを含むシステムを作って見せた。
• Modula-3 - オブジェクト指向など。
• Oberon, Oberon-2 - 言語を拡張して強力にするのではなく、拡張可能にしてコア部分は小さくする、という方向性で設計されている。

その他の言語ないし実装

• Object Pascal - オブジェクト指向的拡張
• Concurrent Pascal - コンカレント（並行^{[注釈 5]}）拡張
• Component Pascal
• Ada - アメリカ国防総省の意向で策定された多機能な言語。PascalないしAlgolの影響が大きいが、Pascalの「簡潔に」とは正反対の巨大化という方向性はALGOL 68（en:ALGOL 68）の魂の影響があるかもしれない^[29]
• VHDL - Adaの影響が多大なハードウェア記述言語
• Verilog HDL - C言語風やPascal風などともいわれるが、どちらにも似ていないハードウェア記述言語
• SystemVerilog - Verilogの拡張
• Delphi - Object Pascal を、さらに拡張している。IDEによるGUIアプリの開発支援もある統合環境が用意された。
• Eiffel - 構文がPascalに似ている、とも言われるオブジェクト指向言語

「本物のプログラマはPascalを使わない」というエッセイは、そのタイトルだけは有名だが、Pascalについては実のところ、構造化プログラミングの代名詞のような感じで引き合いに出されているだけであり、その内容についても、当のハッカーたちからも否定と肯定が半々といった所である（例えばジャーゴンファイルでは、用語集本体では否定的に、附録では肯定的に言及している）。本格的な批判の文章としては、カーニハンによるWhy Pascal is Not My Favorite Programming Language^[30]がある。

初期の批判にもかかわらずPascalは進化し続けた。そしてカーニハンの批判ポイントの殆どは商用バージョンのPascalに当てはまらなくなった。例えば論文The Pascal Programming Language^[31]のMyth 6節で拡張Pascalの言語仕様に基づき、論文The Macintosh Programmer's Workshop^[32]では、Object Pascal（MPW Pascal）の言語仕様に基づき、批判ポイントの殆どは克服していると語られている。

• ALGOL

• FreePascal - Pascal と Object Pascal のフリーなコンパイラ
• GNU Pascal - GCCのコンパイラ

表 話 編 歴 ISO標準
国際標準一覧 · ローマ字表記国際規格一覧 · 国際電気標準会議が定める国際標準一覧
1から 10000まで	1 2 3 4 5 6 7 9 16 31 -0 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 128 216 217 226 228 233 259 269 302 306 428 518 519 639 -1 -2 -3 -5 -6 646 668 690 732 764 843 898 965 1000 1004 1007 1073-1 1413 1538 1745 1989 2014 2015 2022 2047 2108 2145 2146 2240 2281 2382 2709 2711 2788 2852 3029 3103 3166 -1 -2 -3 3297 3307 3602 3864 3901 3977 4031 4157 4217 4909 5218 5428 5775 5776 5800 5964 6166 6344 6346 6385 6425 6429 6438 6523 6709 6937 7001 7002 7010 7098 7185 7200 7498 7736 7810 7811 7812 7813 7816 7942 8000 8178 8217 8571 8473 8583 8601 8613 8632 8652 8691 8807 8820-5 8859 -1 -2 -3 -4 -5 -6 -7 -8 -8-I -9 -10 -11 -12 -13 -14 -15 -16 8879 9000/9001 9075 -10 9126 9293 9241 -210 9362 9407 9506 9529 9564 9592 9594 9660 9897 9899 9945 9984 9985 9995
10001から 20000まで	10006 10021 10116 10118-3 10160 10161 10165 10179 10206 10218 10303 -11 -21 -22 -28 -238 10383 10487 10585 10589 10646 10664 10746 10861 10957 10962 10967 11073 11170 11179 11404 11519 11544 11783 11784 11785 11801 11898 11940 -2 11941 11941 (TR) 11992 12006 12100 12182 12207 12234 -2 -3 13211 -1 -2 13216-1 13250 13399 13406-2 13407 13450 13482 13485 13490 13522-5 13567 13568 13584 13616 14000 14031 14224 14229 14230 14289 14396 14443 14492 14496 -2 -3 -6 -10 -11 -12 -14 -17 -20 14644 -1 -2 -3 -4 -5 -6 -7 -8 -9 14649 14651 14698 -2 14750 14764 14882 14971 15022 15189 15288 15291 15292 15398 15408 15444 -3 15445 15438 15504 15511 15686 15693 15706 -2 15707 15765 -2 15836 15897 15919 15924 15926 15926 WIP 15930 15948 16023 16262 16612-2 16750 16949 17024 17025 17203 17369 17799 18000 18004 18014 18033 18092 18181 18245 18629 18916 19005 19011 19092 -1 -2 19100 19114 19115 19125 19136 19439 19500 19501 19502 19503 19505 19506 19507 19508 19509 19510 19600 19752 19757 -2 -3 -4 19770 19775 19784 19794-5 19831 20000
20001以上	20022 20121 21000 21047 21500 21827:2002 22000 22196 22250-1 22307 22324 23270 23271 23360 24517 24613 24617 24707 25178 25964 26000 26262 26300 26324 27000シリーズ 27000 27001:2005 27001:2013 27002 27003 27004 27005 27006 27007 27729 27799 28000 29110 29148 29199-2 29500 30170 31000 32000 37001 38500 40500 42010 45001 80000 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14
組織	国際標準化機構
カテゴリ	ISO標準 ISO 31 ISO 639 ISO 3166 ISO 8859 ISO/IEC 80000 ISO/IEC標準
関連項目: ISOで始まる記事一覧