LuneScript の関数は次のように定義します。

// @lnsFront: ok
fn add_sub( val1:int, val2:int ): int, int {
   return val1 + val2, val1 - val2;
}
print( add_sub( 1, 2 ) ); // 3, -1

上記の例は、次の関数を定義しています。

LuneScript は、戻り値を複数返せます。

関数によっては、処理を戻さないものがあります。

次に例を示します。

// @lnsFront: error
fn func(): __ {
   while true {
   }
}
func();
print( 1 ); // error

この例では、 func() は無限ループです。 よって、 func() は処理を返さないことになります。

これを明示するため、 func() の戻り値の型は __ となっています。 __ は、処理を戻さない関数であることを示します。

これによって、 func() の次の print() 文が処理されないことが分かり、 エラーとなります。

なお、 戻り値型を __ とした関数は、 処理を戻さないようにしなければなりません。

例えば次のように break すると、ループを抜けてしまうため、 func() から処理が戻ってきます。 このような場合は、エラーとなります。

// @lnsFront: error
fn func(val:int): __ {
   while true {
      if val == 1 {
         break;
      }
   }
}

可変長引数、戻り値を利用できます。

詳細は次の記事を参照してください。

../arg

関数は、 statement が書ける場所であればどこでも定義可能です。 具体的には次のようにブロック内に定義できます。

// @lnsFront: ok
fn sub():int {
   let mut val = 0;
   {
      {
         fn func(): int {
            return 1;
         }
         val = val + func();
      }
      fn func(): int {
         return 2;
      }
      val = val + func();
   }
   fn func(): int {
      return 3;
   }
   return val + func();
}
print( sub() ); // 6

スコープが異なれば、同名関数を定義できます。

関数も変数と同様、pub を使って外部公開できます。

// @lnsFront: ok
pub fn func(): int {
   return 1;
}

pub を指定することで、外部からアクセス可能な関数となります。

global も利用できます。

// @lnsFront: ok
global fn func(): int {
   return 1;
}

関数の global 宣言には、 変数の global 宣言と同じ制約があります。

「global 宣言した関数は、 その関数を宣言したモジュールを import した時に有効になる。」

関数の外部公開には、次の制約があります。

「外部公開する関数は、スクリプトの最上位のスコープに宣言しなければならない」

LuneScript は、関数オブジェクトを値として扱うことが出来ます。 特殊な関数オブジェクトの型として form を利用できます。

次に form の使用例を示します。

// @lnsFront: ok
fn test() {
   print( "hoge" );
}
fn sub( func:form ) {
  func();
}
sub( test ); // hoge

この例は、次の構成となります。

• 関数 test を定義
• 関数 sub は form 型の引数を持つ
• 引数として test を指定して sub を実行

これによって、 sub 内で test が実行され、 hoge が出力されます。

なお、 form 型は次の関数として扱います。

// @lnsFront: skip
fn func(...):... {}

// @lnsFront: error
fn func( val:int ) {
   print( val + 1 );
}
let func2:form = func;
func2( nil );

// @lnsFront: error
let form1:form = fn ( val1:stem! ) { };
let form2:form = fn ( val1:stem ) { };  // error
let form3:form = fn ( val1:stem!, val2:stem! ) { };
let form4:form = fn ( val1:stem!, val2:stem ) { }; // error

// @lnsFront: ok
form funcform( val:int ):int;
fn sub( func:funcform ) {
   print( func( 1 ) + 1 );
}
sub( fn ( val:int ):int { return val + 1; } ); // 3

anonymous 関数は、名前を持たない関数を定義します。

次は anonymous 関数の例です。

// @lnsFront: ok
fn sub( func:form ) {
  func( 1 );
}
sub( fn ( val:stem! ) { print( val ); } );  // 1

この例では、 anonymous 関数 fn ( val:int ) { print( val ); } を定義しています。

この anonymous 関数を sub() の引数に渡すことで、 sub() 内で anonymous 関数が実行されます。

anonymous 関数宣言は式です。

関数オブジェクトに () を付けることで、その関数が実行されます。

関数の仮引数と実引数の型は一致しなければなりません。 なお、省略した実引数は nil として扱います。 もし省略した実引数に対応する仮引数が nilable でなかった場合、エラーとなります。

LuneScript の関数は、引数の違いによるオーバーロードはできません。

LuneScript の関数をまとめると、

• fn で宣言する
• 複数の戻り値を持てる
• 可変長の引数、戻り値をもてる
• pub, global で外部モジュールに関数を公開する
• 関数オブジェクトの型は、form 型と form 宣言を使用する
• anonymous 関数がある
• 省略した実引数には nil が入る
• 関数オーバーロードはない

次回は nilable について説明します。