diff options
Diffstat (limited to 'chapter25/module.ja.md')
| -rw-r--r-- | chapter25/module.ja.md | 275 |
1 files changed, 0 insertions, 275 deletions
diff --git a/chapter25/module.ja.md b/chapter25/module.ja.md deleted file mode 100644 index 2746ad1e..00000000 --- a/chapter25/module.ja.md +++ /dev/null @@ -1,275 +0,0 @@ -# Simple のモジュール - -[English](module.md) | 日本語 - -この文書は [Modules for Simple](module.md) の日本語訳です。原文はモジュールの設計案です。 - -目標： - -- 有効なプログラムを1行で書けるようにする（チュートリアルや初心者の導入を簡単にする）。 - - 最小限の手間でコンパイルして実行する。 -- 分割コンパイル、名前空間、外部ライブラリを扱う。 - - ELF など、リンク可能・実行可能な形式へコンパイルする。 -- フィールドやクラスを簡単に非公開にする。 -- 出力ファイルを、既存の .o/.exe/lib/dll の仕組みと互換にする。 -- `#include` や `import` 用のファイルを不要にする。 -- モジュールごとに構造・ファイルシステムの階層を持たせる。 - - 複数のファイルで1つのモジュールを構成することも考えられる。 - - モジュール内で簡単に名前空間を使う。 - - 親ファイルまたは入れ子のファイルに、入れ子の名前を置く。 -- クラス初期化子について次を保証する。 - - 正確に1回だけ実行する。 - - 最初にアクセスされた時点で遅延実行する。 - - 最初のインスタンスが作られる前、またはその時点までに完了する。 - - `<clinit>` 内の特別な原型インスタンス（golden instance）は例外として認める。 - ---- -### 目標：最小限の手間で有効な1行プログラムを書く - -現在の作業ディレクトリの名前から、モジュールとクラス `hello` を作ります。 -追加の引数なしでコンパイルすると、リンクと実行も行います。 - -ファイル：`hello.smp` -``` -sys.io.p("Hello World!"); -``` - -コンパイルして実行します。 -``` -> smp hello.smp -Hello World! -``` - -モジュール名とクラス名は、ファイル名から取り出した `hello` です。 -メモリ内でコンパイルし、`exec` で実行します。ファイルは作りません。 -これは、その場でコンパイルして実行するためだけのモードです。 - ---- -### 目標：分割コンパイル - -コンパイル時に出力先のビルドディレクトリを指定すると、`.o` ファイルを得られます。 -出力先ディレクトリの構造はソースと一致し、場所は自由に選べます。 - -前と同様に、コンパイルのコマンドでモジュール名を指定していないため、 -`Pet` がモジュールにもクラスにもなります。 - -ファイル：Pet.smp -``` -// Class initializer <clinit> is any code outside a struct declaration -// and is guaranteed to run-once on first touch. - -// static fields listed here: -int default_leggies = 4; - -// A default (no argument) <init> is code inside struct with same name as the -// file; this is the same behavior as field initializers for Java, although -// any code is allowed, not just expressions. - -struct Pet { - str name; - int leggies = default_leggies; -} - -float yet_another_static_field; -``` - -`build/` ディレクトリ内の `Pet.o` へコンパイルします。 -``` -> smp Pet.smp -o build/ -> ls build -Pet.o -``` - ---- -### 目標：入れ子の名前空間 - -`myRepo` 内のファイル名から、モジュールとクラス `Pet` を作ります。 -入れ子のクラス `Pet.Vet` も作ります。これらを別のモジュール `Owner` から使います。 - -ディレクトリ：`~/myRepo/` -``` -~/myRepo/ - Pet.smp - build/ - -~/otherRepo/ - Owner.smp -``` - -ファイル：`myRepo/Pet.smp` -``` -int default_leggies = 4; - -struct Pet { - str name; - int leggies = default_leggies; -} - -// Nested class Vet inside of file Pet -struct Vet { - str name; - str address; - long credit_card_num; -} -``` - -ファイル：`otherRepo/Owner.smp` -``` -Pet dog = Pet{name="Fido"}; -Pet snake = Pet{name="slither", leggies = 0; }; -Pet.Vet vet = Pet.Vet{name="Linda"; address="101 Main St"; credit_card_num=1234}; - -sys.io.p("I took "+dog.name+" to "+vet.name+"\n"); -``` - -`build/` ディレクトリ内の `Pet.o` へコンパイルします。 -コマンドで別のモジュールのルートを指定していないため、`Pet` がモジュールであり、クラスでもあります。 -`Pet` がモジュールなので、`Vet` はモジュール `Pet` 内のクラスです。 - -``` -> smp Pet.smp -o build/ -> ls build -Pet.o -``` - -`Pet` と `Pet.Vet` のコードは、同じ `Pet.o` ファイルに入ります。 - -自由変数 `Pet` と `Pet.Vet` を解決するために `Pet` のリポジトリを指定して、 -`Owner.smp` をコンパイルし、実行します。 - -``` -> smp Owner.smp -lib ~/myRepo/build -I took Fido to Linda -``` - ---- -### 目標：入れ子のファイル内の入れ子の名前空間 - -前の例と同じですが、ファイルを入れ子にします。 - -``` -~/myRepo - Pet.smp - Pet/ - Vet.smp - build/ - Pet.o - Pet/ - Vet.o - -~/otherRepo - Owner.smp -``` - -ファイル：Pet.smp -``` -int default_leggies = 4; - -struct Pet { - str name; - int leggies = default_leggies; -} -``` - -ファイル：Pet/Vet.smp -``` -// Nested class Vet inside of directory Pet -struct Vet { - str name; - str address; - long credit_card_num; -} -``` - -`Owner.smp` をコンパイルし、実行します。 -``` -> smp Owner.smp -lib ~/myRepo/build -I took Fido to Linda -``` - ---- -### 目標：クラス初期化子の遅延実行 - -``` -Parent.smp -Parent/ - ChildA.smp - ChildB.smp -``` - -ファイル：`Parent.smp` -``` -sys.io.p("In Parent <clinit>"); -sys.io.p(ChildB.str); -``` - -ファイル：`ChildA.smp` -``` -// <clinit> for ChildA -sys.io.p("In ChildA <clinit>"); -str str = "A"; -``` - -ファイル：`ChildB.smp` -``` -// <clinit> for ChildB -sys.io.p("In ChildB <clinit>"); -str str = "B"; -``` - -コンパイルして実行します。 -``` -> smp Parent.smp -In Parent <clinit> -In ChildB <clinit> -B - -``` - -### 目標：簡単な非公開フィールド - -名前の先頭にアンダースコアを付けると、フィールドやクラスが非公開になります。 - -### 目標：C コンパイラのドライバに似た構文 - -``` -Simple --cpu x86_64_v2 --abi Win64 --norun -o lib/lib/sys_x86_64_v2_win64.o src/main/smp/sys.smp -``` - -モジュールを指定していないため、最上位のファイルがモジュール `sys` になります。 -モジュールディレクトリも指定していないため、ファイル名のディレクトリ部分 `src/main/smp` になります。 -ビルドディレクトリを指定していないため、出力ファイルのディレクトリ部分 `lib/` になります。 -出力ファイル名の既定値は `smp.o` ですが、ここでは別名を指定しています。 - -ある `<clinit>` は別の `<clinit>` を参照でき、最初のアクセス時に実行されます。 -設計上、子より先に親へアクセスする必要があります。ただし、子 A は子 B を参照できます。 -Parent.B へのアクセスは、次を意味します。 - -- 最初に Parent にアクセスし、`<clinit>` を開始する。 -- そこからアクセスするものにも、A や B を含め、再帰的に `<clinit>` を実行する。 -- Parent の処理が完了する。 -- `<clinit>` 内では別の*モジュール*を参照できない。 -- 静的関数は別のモジュールを参照*できる*が、その場合、実行される可能性がある……。 - -目標：モジュール内の `<clinit>` を決定的にする。 - -- 背景：複雑な `<clinit>` の順序のせいで、子が使う時点で参照先の static final フィールドがまだ初期化されていないことが、何度もあった。 -- 副目標：親が子より先になるなど、`<clinit>` の*順序*を決定的にする。 - - 問題：Parent の `<clinit>` の途中で Child を参照すると、Parent が完了する前に Child の `<clinit>` が走る。 - - 部分的な回答：親が先で「親は子を知っている」ため、これはよい。 - - 追加の問題：モジュールをまたぐと成り立たない。あるモジュールは別のモジュールの親ではない。 - - 問題：`<clinit>` 中に呼び出す Parent の関数が、非決定的に子を初期化できる。 - - `fcn = { -> rand ? A.fld : B.fld }` -- 回答案：Parent の `<clinit>` は、直接にも間接にも子を参照しては*ならない*。 -- 例：`B b = new B; // Illegal ref to child in Parent.<clinit>` - — Parent の初期化子から子への不正な参照。 -- 例：`B? b = fcn(); fcn = { -> rand ? null : new B; } // Illegal call to fcn referring to B inside Parent <clinit>` - — Parent の初期化子内で B を参照する関数への不正な呼び出し。 -- 例：`B? b; fcn = { -> new B; } // OK, no B.<clinit> during Parent.<clinit>` - — Parent の初期化中に B の初期化子を実行しないため、これは許される。 - -目標：外部とのリンクでも、1回限りの初期化機能を使えるようにする。 - -回答案：外部から `Foo.foo()` を呼ぶときは、まず `Foo.<clinit>` が実行済みであることを確認してから、 -`Foo.foo()` を呼び出す。任意の最適化として、成功後は呼び出し元を変更し、 -`<clinit>` の確認を省略する。 |