MikoScript3 言語仕様

　構文構成

●プログラム
　「プログラム」は、テキストファイルに記述します。プログラムが記述されたテキスト
ファイルを「ソースファイル」と言います。ソースファイル内のプログラムを、「ソース
プログラム」と言います。ソースプログラムを解釈して実行するのが、「インタプリタ」
です。

　ソースプログラムは、「構文」で構成されます。構文には、「実行文」と「関数定義」
があります。関数定義内にも、実行文がありますが、それは、その関数がコールされない
限り、実行されません。インタプリタが、ソースプログラムを実行する際に、直接の実行
対象になるのは、関数定義の外にある実行文です。

　例えば、以下のソースプログラムには、直接の実行対象になる関数定義外の実行文と、
直接の実行対象にはならない関数定義が、それぞれ１つずつあります。

    print "これは関数定義外の実行文です";

    function F()    // 関数定義
    {
        print "これは関数定義内の実行文です";
    }

このプログラムを実行すると、「これは関数定義外の実行文です」がプリントされますが、
関数定義は実行されないので、「これは関数定義内の実行文です」はプリントされません。

　一方、次のソースプログラムでは、直接の実行対象になる関数定義外の実行文で、定義
関数をコールしてしています。

    F();    // 関数コール
    print "これは関数定義外の実行文です";

    function F()    // 関数定義
    {
        print "これは関数定義内の実行文です";
    }

この場合、関数コールよって関数が実行されるので、「これは関数定義内の実行文です」
と「これは関数定義外の実行文です」の両方がプリントされます。
　なお、この例でも分かるように、本言語では、関数コールよりも後の行で、関数定義が
記述されていても、特に問題ありません。

　このように、本言語のソースプログラムには、C 言語ような main 関数はありません。
その代わりに、ソースプログラム全体が、言わば「暗黙のメイン関数」になっています。
インタプリタは、ソースプログラムを実行する際、この暗黙のメイン関数を最初にコール
します。但し、ソースプログラムに「初期設定関数」が定義されていれば、それを先に
実行します。この詳細は「モジュール」の章で説明しています。

　ソースプログラムが、関数定義だけで直接の実行文がない場合、インタプリタでそれを
実行しても、そのプログラムのどの部分も、実質的な実行対象にはなりません。例えば、

    function F1()   {  print "This is F1.";  }
    function F2()   {  print "This is F2.";  }

のようなソースプログラムを、インタプリタで実行しても、翻訳は行なわれますが、実質
的には、プログラムのどの部分も実行されません。関数定義だけのソースプログラムは、
通常、ライブラリー用のプログラムになります。
　但し、暗黙のメイン関数内の直接の実行文は、共通のサブルーチンとして、「call 文」
から呼び出せるので、ライブラリー用のソースプログラムに、直接の実行文がある場合も
あります。このサブルーチンコールについては、「制御の流れ（ジャンプ系）」の章内の
「call 文と back 文」の節で述べます。

●実行文
「実行文」は、単に「文」とも言います。
本言語の「実行文」には、以下の種類があります。


種別名
　　　　　　　　書式　　　　　　　　　　
　式文				
　式*;			
　ブロック文		
　{  文の並び  }			
　if 文				
　if( 式 ) 文 else 文		
　switch 文			
　switch( 式 ) 文			
　while 文			
　while( 式 ) 文			
　for 文			
　for( 式* ; 式* ; 式* ) 文	
　do-while 文		
　do 文 while( 式 );		
　continue 文		
　continue;				
　break 文			
　break;					
　quit 文			
　quit;					
　goto 文			
　goto ラベル;				
　warp 文			
　warp ラベル;				
　call 文			
　call ラベル;				
　back 文			
　back;					
　return 文			
　return 式;				
　scope 文			
　scope 箱名 { 文の並び }	
　構造体設定文		
　構造体名 ::= { 文の並び }
　class 文			
　class クラス名 : 基底 { クラス記述 }	
　delete 文			
　delete 箱名の並び;		
　print 文			
　print 項目の並び;		
　コマンド文		
　関数名~ 引数の並び;		
　配列初期設定文　	
　配列 = { 初期値の並び };	
　空文				
　;						

（注意）表内の書式はあくまで参考で、関係各所で厳密に記します。
　　　　式* は、「リスト式」にもできます。（詳細後述）

実行文には、「ラベル」を付けることができます。
実行文は、「式」ではないので、実行文の値というものはありません。
上記の各実行文のうち、「ブロック文」については、以下で説明します。
それ以外は、関係各所で詳述しています。

●ブロック文
　「ブロック文」は、一連の実行文を、波括弧 { と } で囲ったもので、実行文のまとま
りを表わします。そのため、ブロック文を、「複文」と言うこともあります。ブロック文
自身もまた、実行文なので、ブロック文の波括弧の囲いの中に、別のブロック文を入れる
ことができます。つまり、ブロック文は入れ子にすることができます。また、特殊なケー
スとして、実行文を全く含まない空の波括弧の囲いも、ブロック文になります。多くの実
行文の末尾は、セミコロン ; になりますが、ブロック文の末尾には、セミコロン ; が付
きません。

●式
　「式」には、単一の字句要素から成る「単項式」と、複数の字句要素から成る「複合式」
があります。
　式には「値」があります。式の値を求めることを「式を評価する」と言います。

　「単項式」には、以下の種類があります。これらの表記に関しては、「字句要素」の章
で詳述しています。また、意味は、「基本データ型」の章等の関連各所で詳述しています。
　    ・整数定数
      ・実数定数
      ・文字定数
      ・定文字列
      ・null
      ・this
      ・箱名（識別名）

　「複合式」には、いろいろありますが、機能的に分類すると、以下のようになります。
これらは、関連各所で詳述しています。
      ・箱の経路（連想配列要素も含む）
      ・演算式（算術／論理演算等）
      ・関数コール
      ・インスタンス生成 
      ・純粋配列要素
      ・匿名関数定義
      ・その他

●リスト式
　「文」のなかで使われる「式」には、複数の式をコンマで区切った「リスト式」にでき
る場合もあります。上記の実行文の種類の表内の「式*」がその場合です。
　リスト式は、たとえば、以下のような書き方になります。

    A = 1,  X++,  B = 2 * F( i, j )

　リスト式の評価は、必ず、左から右の順に行なわれます。たとえば、
    式１, 式２, 式３
の場合、まず、式１が評価され、次に、式２が評価され、最後に、式３が評価されます。
リスト式全体の評価値としては、最後の式の評価値で代表されます。たとえば、上例の
リスト式の評価値は、式３の評価値になります。

　リスト式を「多重代入」や「return 文」で使う場合、丸括弧で囲う必要があります。
　リスト式は、現状、この用途か、前述の「式*」の場合以外は、使えません。


●関数定義
　本言語の「関数定義」には、以下の２種類があります。
      ・通常の関数定義
      ・演算子の多重定義

　関数定義内の実行文は、前述の通り、その関数がコールされた時に、実行されます。
　関数定義自体は、実行文とは違って、ラベルを付けることはできません。
　関数定義は、式ではないので、関数定義の値というものはありませんが、関数コールに
よって、その関数が返す値を取得することができます。
　関数定義は、入れ子にすることはできません。つまり、関数定義の中で、別の関数定義
を入れることはできません。但し、「匿名関数」や「do-with 式」内の「ブロック関数」
の定義を入れることはできます。

　通常の関数定義は「関数」の章で、演算子の多重定義は「演算子の多重定義」の章で、
それぞれ、詳説しています。