スクリプト: 21世紀の高レベルプログラミング

John K. Ousterhout

Tcl Developer Xchange
2593 Coast Ave.
Mountain View, CA 94043

(この記事はIEEE Computer誌、1998年3月号に掲載されています)

要約
PerlやTclのようなスクリプト言語は、CやJavaTMのようなシステムプログラミング言語とは非常に異なるスタイルのプログラミングを表しています。スクリプト言語はアプリケーションを「接着」するために設計されており、型なしのアプローチを使用して、システムプログラミング言語よりも高いレベルのプログラミングとより迅速なアプリケーション開発を実現します。コンピュータの速度の向上とアプリケーションのミックスの変化により、スクリプト言語は将来のアプリケーションにとってますます重要になっています。

キーワード: コンポーネントフレームワーク、オブジェクト指向プログラミング、スクリプト、強い型付け、システムプログラミング。

1 はじめに

過去15年間、人々がコンピュータプログラムを書く方法に根本的な変化が起こっています。この変化は、CやC++のようなシステムプログラミング言語から、PerlやTclのようなスクリプト言語への移行です。多くの人々がこの変化に参加していますが、それが起こっていることに気づいている人は少なく、なぜそれが起こっているのかを知っている人はさらに少ないです。この記事は、スクリプト言語が次の世紀の多くのプログラミングタスクをシステムプログラミング言語よりも優れた方法で処理する理由を説明する意見記事です。

スクリプト言語はシステムプログラミング言語とは異なるタスクのために設計されており、これが言語の根本的な違いをもたらします。システムプログラミング言語は、メモリのワードのような最も原始的なコンピュータ要素からデータ構造とアルゴリズムをゼロから構築するために設計されています。対照的に、スクリプト言語は接着のために設計されており、強力なコンポーネントのセットの存在を前提としており、主にコンポーネントを接続するために意図されています。システムプログラミング言語は複雑さを管理するために強い型付けがされていますが、スクリプト言語はコンポーネント間の接続を簡素化し、迅速なアプリケーション開発を提供するために型なしです。

スクリプト言語とシステムプログラミング言語は補完的であり、1960年代以降のほとんどの主要なコンピューティングプラットフォームは両方の種類の言語を提供しています。言語は通常、コンポーネントフレームワークで一緒に使用され、コンポーネントはシステムプログラミング言語で作成され、スクリプト言語で接着されます。しかし、最近のいくつかのトレンド、たとえばより高速なマシン、より良いスクリプト言語、グラフィカルユーザーインターフェースとコンポーネントアーキテクチャの重要性の増加、インターネットの成長などが、スクリプト言語の適用性を大幅に高めています。これらのトレンドは今後10年間続き、ますます多くの新しいアプリケーションが完全にスクリプト言語で書かれ、システムプログラミング言語は主にコンポーネントの作成に使用されるようになります。

2 システムプログラミング言語

スクリプト言語とシステムプログラミング言語の違いを理解するためには、システムプログラミング言語がどのように進化したかを理解することが重要です。システムプログラミング言語はアセンブリ言語の代替として導入されました。アセンブリ言語では、マシンのほぼすべての側面がプログラムに反映されます。各ステートメントは単一のマシン命令を表し、プログラマはレジスタ割り当てや手続き呼び出しシーケンスなどの低レベルの詳細を扱わなければなりません。その結果、アセンブリ言語で大規模なプログラムを書くことは難しく、維持することも困難です。

1950年代後半には、Lisp、Fortran、Algolのような高レベル言語が登場し始めました。これらの言語では、ステートメントはもはやマシン命令に正確に対応しておらず、コンパイラがソースプログラムの各ステートメントをバイナリ命令のシーケンスに変換します。時間が経つにつれて、AlgolからPL/1、Pascal、C、C++、Javaのようなシステムプログラミング言語が進化しました。システムプログラミング言語はアセンブリ言語よりも効率が悪いですが、アプリケーションをはるかに迅速に開発することができます。その結果、大規模なアプリケーションの開発においてアセンブリ言語をほぼ完全に置き換えました。

システムプログラミング言語はアセンブリ言語と2つの点で異なります: それらはより高レベルであり、強い型付けがされています。「高レベル」という用語は、多くの詳細が自動的に処理されることを意味し、プログラマが同じ作業を行うために少ないコードを書くことができることを意味します。たとえば:

レジスタ割り当てはコンパイラによって処理されるため、プログラマはレジスタとメモリ間で情報を移動するコードを書く必要がありません。
手続き呼び出しシーケンスは自動的に生成されます: プログラマは引数を呼び出しスタックに移動することを心配する必要がありません。
プログラマはwhileやifのような単純なキーワードを制御構造に使用できます; コンパイラは制御構造を実装するためのすべての詳細な命令を生成します。

平均して、システムプログラミング言語の各コード行は約5つのマシン命令に変換されますが、アセンブリ言語では1行あたり1命令です（5人の異なる人によって書かれた8つのCファイルの非公式な分析では、比率は約3から7命令/行の範囲でした [7]; 多数の言語の研究では、Capers Jonesは、特定のタスクに対して、アセンブリ言語はシステムプログラミング言語の約3-6倍のコード行を必要とすることを発見しました[3]）。プログラマは言語に関係なく年間でほぼ同じ数のコード行を書くことができるため[1]、システムプログラミング言語はアセンブリ言語よりもはるかに迅速にアプリケーションを書くことができます。

アセンブリ言語とシステムプログラミング言語の2番目の違いは型付けです。私は「型付け」という用語を、情報の意味がその使用の前にどの程度指定されているかを指すために使用します。強い型付けの言語では、プログラマは各情報がどのように使用されるかを宣言し、言語は情報が他の方法で使用されるのを防ぎます。弱い型付けの言語では、情報がどのように使用されるかに関するa prioriの制限はありません: 情報の意味は、初期の約束ではなく、使用方法によってのみ決定されます。¹

現代のコンピュータは基本的に型なしです: メモリ内の任意のワードは、整数、浮動小数点数、ポインタ、命令など、任意の種類の値を保持できます。値の意味は使用方法によって決定されます: プログラムカウンタがメモリのワードを指している場合、それは命令として扱われます; ワードが整数加算命令によって参照される場合、それは整数として扱われます; など。同じワードは異なる時に異なる方法で使用されることがあります。

対照的に、今日のシステムプログラミング言語は強い型付けがされています。たとえば:

システムプログラミング言語の各変数は、整数や文字列へのポインタなどの特定の型で宣言され、その型に適した方法で使用されなければなりません。
データとコードは完全に分離されています: 新しいコードをその場で作成することは困難または不可能です。
変数は、明確に定義されたサブストラクチャとそれらを操作する手続きまたはメソッドを持つ構造またはオブジェクトに集めることができます; ある型のオブジェクトは、異なる型のオブジェクトが期待される場所で使用することはできません。

型付けにはいくつかの利点があります。まず、大規模なプログラムを管理しやすくするために、物事がどのように使用されるかを明確にし、異なる扱いを必要とするものを区別します。第二に、コンパイラは型情報を使用して、浮動小数点値をポインタとして使用しようとする試みなど、特定の種類のエラーを検出できます。第三に、型付けはコンパイラが特殊なコードを生成することを可能にすることによってパフォーマンスを向上させます。たとえば、コンパイラが変数が常に整数値を保持することを知っている場合、変数を操作するための整数命令を生成できます; コンパイラが変数の型を知らない場合、実行時に変数の型をチェックするための追加の命令を生成しなければなりません。

要約すると、システムプログラミング言語はアセンブリ言語と同じタスク、すなわちゼロからアプリケーションを作成するために設計されています。システムプログラミング言語はアセンブリ言語よりも高レベルで、はるかに強い型付けがされています。これにより、アプリケーションをより迅速に作成し、わずかなパフォーマンスの損失でより簡単に管理することができます。アセンブリ言語といくつかのシステムプログラミング言語のグラフィカルな比較については図 1を参照してください。

Perl [9]、Python[4]、Rexx[6]、Tcl[8]、Visual Basic、Unixシェルのようなスクリプト言語は、システムプログラミング言語とは非常に異なるスタイルのプログラミングを表しています。スクリプト言語は、他の言語で書かれた有用なコンポーネントのコレクションがすでに存在することを前提としています。スクリプト言語はゼロからアプリケーションを書くことを意図しておらず、主にコンポーネントをプラグインするために意図されています。たとえば、TclやVisual Basicは、画面上のユーザーインターフェイスコントロールのコレクションを配置するために使用でき、Unixシェルスクリプトはフィルタプログラムをパイプラインに組み立てるために使用されます。スクリプト言語はしばしばコンポーネントの機能を拡張するために使用されますが、複雑なアルゴリズムやデータ構造にはめったに使用されません; これらのような機能は通常コンポーネントによって提供されます。スクリプト言語はグルー言語またはシステム統合言語と呼ばれることがあります。

コンポーネントを接続するタスクを簡素化するために、スクリプト言語は型なしである傾向があります: すべてのものが同じように見え、同じように振る舞うため、互換性があります。たとえば、TclやVisual Basicでは、変数はある瞬間に文字列を保持し、次の瞬間には整数を保持することができます。コードとデータはしばしば互換性があり、プログラムが別のプログラムを書き、その場で実行することができます。スクリプト言語はしばしば文字列指向であり、これは多くの異なるものに対して一様な表現を提供します。

型なしの言語は、コンポーネントを接続するのをはるかに簡単にします。物事がどのように使用されるかに関するa prioriの制限はなく、すべてのコンポーネントと値は一様な方法で表現されます。したがって、任意のコンポーネントまたは値は任意の状況で使用できます; ある目的のために設計されたコンポーネントは、設計者が予見しなかった全く異なる目的のために使用されることがあります。たとえば、Unixシェルでは、すべてのフィルタプログラムは入力からバイトのストリームを読み取り、出力にバイトのストリングを書き込みます; 任意の2つのプログラムは、1つのプログラムの出力を他のプログラムの入力に接続することによって接続できます。次のシェルコマンドは、選択内の「スクリプト」という単語を含む行の数を数えるために3つのフィルタを積み重ねます:

select | grep scripting | wc selectプログラムは、ディスプレイ上で現在選択されているテキストを読み取り、それを出力に印刷します; grepプログラムは入力を読み取り、「スクリプト」を含む行を出力に印刷します; wcプログラムは入力の行数を数えます。これらのプログラムのそれぞれは、異なるタスクを実行するために他の多くの状況で使用できます。

システムプログラミング言語の強い型付けの性質は再利用を妨げます。型付けはプログラマにさまざまな互換性のないインターフェースを作成することを奨励します（「インターフェースは良い; より多くのインターフェースはより良い」）。各インターフェースは特定の型のオブジェクトを必要とし、コンパイラはインターフェースで他の型のオブジェクトを使用することを防ぎます。それが有用であっても。新しいオブジェクトを既存のインターフェースで使用するためには、オブジェクトの型とインターフェースが期待する型の間を変換するコードを書かなければなりません。これは、アプリケーションがバイナリ形式で配布される一般的な場合には不可能であるため、アプリケーションの一部またはすべてを再コンパイルする必要があります。

型なしの言語の利点を理解するために、次のTclコマンドを考えてみましょう:

button .b -text Hello! -font {Times 16} -command {puts hello} このコマンドは、16ポイントのTimesフォントでテキスト文字列を表示し、ユーザーがコントロールをクリックしたときに短いメッセージを印刷する新しいボタンコントロールを作成します。これは、単一のステートメントで6つの異なる種類のものを混ぜています: コマンド名（button）、ボタンコントロール（.b）、プロパティ名（-text、-font、-command）、単純な文字列（Hello!とhello）、フォント名（Times 16）で、書体名（Times）とポイントサイズ（16）を含み、Tclスクリプト（puts hello）です。Tclはこれらのすべてを文字列で一様に表現します。この例では、プロパティは任意の順序で指定でき、指定されていないプロパティにはデフォルト値が与えられます; この例では20以上のプロパティが指定されていませんでした。

同じ例は、Javaで実装すると2つのメソッドで7行のコードが必要です。C++とMicrosoft Foundation Classesでは、3つの手続きで約25行のコードが必要です（これらの例のコードについては [7]を参照してください）。フォントを設定するだけでも、Microsoft Foundation Classesでは数行のコードが必要です:

CFont *fontPtr = new CFont(); fontPtr->CreateFont(16, 0, 0,0,700, 0, 0, 0, ANSI_CHARSET, OUT_DEFAULT_PRECIS,CLIP_DEFAULT_PRECIS, DEFAULT_QUALITY, DEFAULT_PITCH|FF_DONTCARE, "Times New Roman"); buttonPtr->SetFont(fontPtr); このコードの多くは強い型付けの結果です。ボタンのフォントを設定するためには、そのSetFontメソッドを呼び出す必要がありますが、このメソッドにはCFontオブジェクトへのポインタを渡す必要があります。これにより、新しいオブジェクトを宣言して初期化する必要があります。CFontオブジェクトを初期化するためには、そのCreateFontメソッドを呼び出す必要がありますが、CreateFontには14の異なる引数を指定する必要がある厳格なインターフェースがあります。Tclでは、フォントの本質的な特性（書体Times、サイズ16ポイント）は、宣言や変換なしで即座に使用できます。さらに、Tclはボタンの動作をボタンを作成するコマンドに直接含めることができますが、C++やJavaではそれを別に宣言されたメソッドに配置する必要があります。

（実際には、このような些細な例は、基礎となる言語の複雑さを隠すグラフィカルな開発環境で処理される可能性があります: ユーザーはフォームにプロパティ値を入力し、開発環境はコードを出力します。しかし、プロパティ値の条件付き割り当てやプログラムによって生成されたインターフェースなどのより複雑な状況では、開発者は基礎となる言語でコードを書く必要があります。）

スクリプト言語の型なしの性質がエラーを見逃す可能性があるように思えるかもしれませんが、実際にはスクリプト言語はシステムプログラミング言語と同じくらい安全です。たとえば、上記のボタンの例で指定されたフォントサイズがxyzのような非整数文字列である場合、エラーが発生します。違いは、スクリプト言語は値が使用される最後の瞬間にエラーチェックを行うことです。強い型付けはコンパイル時にエラーを検出することを可能にし、実行時のチェックのコストを回避します。しかし、この効率のために支払う代償は、情報の使用方法に対する制限です: これにより、より多くのコードと柔軟性の低いプログラムが生まれます。

スクリプト言語とシステムプログラミング言語のもう一つの重要な違いは、スクリプト言語は通常インタープリタであり、システムプログラミング言語は通常コンパイラであることです。インタープリタ言語は、コンパイル時間を排除することによって開発中の迅速なターンアラウンドを提供します。インタープリタはまた、ユーザーが実行時にアプリケーションをプログラムすることを可能にすることによって、アプリケーションをより柔軟にします。たとえば、多くの集積回路の合成および解析ツールにはTclインタープリタが含まれており、プログラムのユーザーはTclスクリプトを書いて設計を指定し、ツールの操作を制御します。インタープリタはまた、コードをその場で生成することによって強力な効果を達成することを可能にします。たとえば、TclベースのWebブラウザは、WebページのHTMLをいくつかの正規表現の置換を使用してTclスクリプトに変換することによってWebページを解析できます。それからTclスクリプトを実行して画面にページをレンダリングします。

スクリプト言語はシステムプログラミング言語よりも効率が悪いです。これは、コンパイラの代わりにインタープリタを使用するためだけでなく、基本コンポーネントが基礎となるハードウェアへの効率的なマッピングよりも、パワーと使いやすさのために選ばれているためです。たとえば、スクリプト言語は、システムプログラミング言語が単一のマシンワードに収まるバイナリ値を使用する状況で、可変長文字列を使用することがよくあります。また、スクリプト言語は、システムプログラミング言語がインデックス付き配列を使用する状況で、ハッシュテーブルを使用することがよくあります。

幸いなことに、スクリプト言語のパフォーマンスは通常大きな問題ではありません。スクリプト言語のアプリケーションは通常、システムプログラミング言語のアプリケーションよりも小さく、スクリプトアプリケーションのパフォーマンスは、通常システムプログラミング言語で実装されるコンポーネントのパフォーマンスによって支配される傾向があります。

スクリプト言語はシステムプログラミング言語よりも高レベルであり、平均して単一のステートメントがより多くの作業を行います。スクリプト言語の典型的なステートメントは数百または数千のマシン命令を実行しますが、システムプログラミング言語の典型的なステートメントは約5つのマシン命令を実行します（図 1を参照）。この違いの一部は、スクリプト言語がインタープリタを使用しているためであり、システムプログラミング言語のコンパイル済みコードよりも効率が悪いです。しかし、この違いの多くは、スクリプト言語の基本操作がより大きな機能を持っているためです。たとえば、Perlでは、正規表現の置換を呼び出すのは整数の加算を呼び出すのと同じくらい簡単です。Tclでは、変数にトレースを関連付けることができ、変数を設定すると副作用が発生します。たとえば、トレースは変数の値を画面上で継続的に更新するために使用されるかもしれません。

上記の特徴により、スクリプト言語は接着指向のアプリケーションの非常に迅速な開発を可能にします。表 1は、この主張を支持する逸話的な証拠を提供します。それは、システムプログラミング言語で実装され、その後スクリプト言語で再実装された、またはその逆のいくつかのアプリケーションを説明しています。

すべての場合において、スクリプトバージョンはシステムプログラミングバージョンよりも少ないコードと開発時間を必要としました; 違いは2倍から60倍まで変動しました。スクリプト言語は、最初の実装に使用された場合、あまり利益をもたらしませんでした; これは、再実装が最初の実装の経験から大いに利益を得ることを示唆しており、スクリプトとシステムプログラミングの真の違いは、表の極端なポイントよりも5-10倍のようなものです。スクリプトの利点はアプリケーションによっても異なります。表の最後の例では、アプリケーションのGUI部分は接着指向ですが、シミュレータ部分はそうではありません; これは、アプリケーションが他のアプリケーションよりもスクリプトからの利益が少なかった理由を説明するかもしれません。

要約すると、スクリプト言語はアプリケーションを接着するために設計されています。それらはアセンブリまたはシステムプログラミング言語よりも高いレベルのプログラミングを提供し、システムプログラミング言語よりもはるかに弱い型付けを提供し、インタープリタ開発環境を提供します。スクリプト言語は、開発速度を向上させるために実行速度を犠牲にします。