GNU Smalltalk

GNU Smalltalk(グヌー スモールトーク)はGNUプロジェクトにより開発されているSmalltalk環境。 CUI環境で開発できるSmalltalk環境として開発されており、CUIに特化しており基本構成ではその他のSmalltalk環境で一般的な統合開発環境のGUIを備えておらず (Headless mode)、GUIからソースコードを入力して編集することはできない。起動コマンド実行時に指定したソースファイル、またはイメージを読み込んで起動するという他のプログラミング言語では一般的だが、Smalltalk環境では異色の方式をとっている。 GNU Smalltalkはフロントエンドとして対話的に実行できるインタープリター（通訳機能）を備えており、代表的な起動コマンドであるgstを引数なしで起動するとSmalltalkの式をインタープリター実行できるシェルが起動する。このシェルは補完機能も備えておりメッセージ式や変数名を途中まで入力すると補完することができる。gstの引数にソースコードを指定するとそのソースコードを実行する。このフロントエンド(gst)の動作からインタープリターとして実装したSmalltalkと誤解されることがあるが、プログラムを実行する本体はその他のSmalltalk環境と同じでイメージファイルに格納した中間言語を仮想機械が実行する仮想機械方式になっておりインタープリターではない。Smalltalk環境は一般的に実行中に入力されたソースコードを中間言語に翻訳してから実行するという機能が備わっているがインタープリター実行やソースファイルの実行はその機能を利用してフロントエンドだけで実現している。仮想機械そのものは実行にイメージファイルしか必要とせず、gst-loadのようなイメージファイルだけを使う起動コマンドではソースファイルを指定せずに起動することができる。ソースコードを指定した起動ではソースコードを一旦中間言語に翻訳するためイメージファイルをだけを指定した起動より若干遅くなる。 GNU Smalltalkは起動コマンドの引数に指定するソースファイルは、Smalltalk環境の交換用に一般的なファイル用構文であるChunk形式を使うことができるが、ファイル上での編集性を考慮した独自構文を備えている。例えば下記(1)のChunk形式は下記(2)となる。 (1) Chunk形式 Object subclass: #Example instanceVariableNames: 'variable0' classVariableNames: '' poolDictionaries: '' category: 'example'. Example methodsFor: 'Instance Methods' ! selector0 ^ 0. ! selector1: anArgument ^ 1. !! Example class methodsFor: 'Class Methods' ! selector0 ^ 2. ! selector1: anArgument ^ 3. !! Transcript nextPutAll: 'example'; nl. (2) 独自構文 #!/usr/bin/gst Object subclass: Example [ | variable0 | <category: 'example'> selector0 [ <category: 'Instance Methods'> ^ 0 ] selector1: anArgument [ <category: 'Instance Methods'> ^ 1 ] Example class >> selector0 [ <category: 'Class Methods'> ^ 2 ] Example class >> selector1: anArgument [ <category: 'Class Methods'> ^ 3 ] ]. Transcript nextPutAll: 'example'; nl. 標準ではないが他のSmalltalk環境にも存在する拡張構文として次のようなものが存在する。 Smalltalkの標準的な配列は要素の指定として定数しか指定できないが、GNU Smalltalkでは非定数の要素用の配列構文を用意している。 array := { 1. 1 + 1 }. ".で区切った2番目の要素は通常の定数配列では指定できない。" 長い名前を省略できる仕組みとして名前空間を備えている。名前空間の解決については、他のSmalltalkと互換性があるが定義については互換性がない。 "名前空間登録" Smalltalk addSubspace: #SystemExceptions. "名前解決" Smalltalk.SystemExceptions.InvalidValue signalOn: 0. "Smalltalk.SystemExceptions.までが名前空間" "現在の名前空間切り替え" Namespace current: Smalltalk.SystemExceptions. なお構文ではないがメッセージ式形式で名前解決することもできる。この場合は、変数に代入した名前空間をさらに参照することができる。 | namespace | "名前解決" namespace := Smalltalk. namespace SystemExceptions InvalidValue signalOn: 0. 膨大なクラスを備える他のSmalltalk環境と比べ数は少ないが、基礎機能が保守的なVisualWorksなどと比較して基礎機能に近代的なものが多い。近代的なものとしては下記がある。 反復子専用クラス(Iterable) 継続(Continuation) 生成器(Generator) 複数例外の捕捉 このうち1と4について補足する。 従来のSmalltalk環境では列挙処理を集合体の抽象クラスであるCollectionが保有していた。列挙処理は必ずしも値を保持する集合体だけでなく入力用のストリームやDBMSに問い合わせた際の問い合わせ結果や生成器にも適用できる。このため他のクラスでも継承できるように集合体のCollectionから列挙処理を分離したものが反復子専用クラスとなっている。 従来のSmalltalk環境では下記(1)の様に同時に1種類しか捕捉することができなかった。GNU Smalltalkでは下記(2)のように複数の例外捕捉を可能にしている。 (1) [ Error signal: '異常発生'. ] on: Error do: [ :exception | "エラーの例外だけを捕捉。#on:doはこれ以上増やせない。" ]. (2) [ Notification signal: '接続準備完了'. ] on: Error, Notification do: [ :exception | "エラーと通知両方の例外を1度に補足" ] on: Exception do: [ "その他の例外を捕捉。on:do:はBlockClosureで定義している数だけ並べることができる。" ]. ^ 保守されていないがgst-browserという公式のGUI環境も存在する。gtk2から更新されておらずgtk3に対応していない。 ^ “GNU Smalltalk | The Smalltalk for those who can type” (英語). smalltalk.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk User’s Guide: Invocation”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk User’s Guide: Loading or creating an image”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk User’s Guide: Seaside”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk Library Reference: Iterable”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk Library Reference: Continuation”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk Library Reference: Generator”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk Library Reference: BlockClosure-exception handling”. www.gnu.org. 2018年10月25日閲覧。 ^ “GNU Smalltalk Library Reference: ExceptionSet”. www.gnu.org. 2018年10月25日閲覧。 Smalltalk GNUプロジェクト GemStone/S - GUIを持たないSmlltalk環境