@@ は、変換元の値の型を実行時にチェックせずに強制的に型変換します。

// @lnsFront: ok
let val1:stem = 1;
let val2:int = val1@@int;

次のような本来変換できない値も強制的なキャストを行なえてしまいます。

// @lnsFront: ok
let val1:stem = 1;
let val2:str[] = val1@@str[];
print( #val2 ); // runtime error

上記は、 int 型の値 1 を stem 型の val1 に代入し、 それを str リスト型の val2 にキャストしています。 つまり、int 型を str リストにキャストしてしまっています。 この val2 に対してアクセスすると、 実行時エラー となります。

なお、 暗黙的に型変換が行なえるものを @@ で明示的にキャストすると、 warning となります。

例えば次のサンプルの func( "abc"@@stem ) は、 文字列 "abc" から stem への変換は明示キャスト不要で変換可能なため warning が出力されます。

// @lnsFront: ok
fn func( val:stem ) {
}
func( "abc"@@stem );

また、明らかに不正な型変換はコンパイルエラーとなります。

例えば次の場合、 1@@str は int から str に変換していますが、 この型変換は出来ないためコンパイルエラーとなります。

// @lnsFront: error
let val = "abc"@@int;  // error
let val2 = 1@@str;  // error

クラス型への @@ キャストは warning 出力します。

@@ は、 nilable から非 nilable へのキャストは出来ません。

クラス型へのキャストは @@@ か @@= を使用してください。

@@@ は、動的に変換元の型をチェックして型変換します。

次は @@@ の例です。

// @lnsFront: ok
fn func( val:stem ) {
   if! val@@@int {
      print( "int:%d" ( _exp ) );
   }
   if! val@@@str {
      print( "str:%s" ( _exp ) );
   }
}
func( 1 ); // int:1
func( "abc" ); // str:abc

val@@@int は、 val の型をチェックし int 型ならば変換し、 int 型でなければ nil を返します。 また、 val@@@str は val の型をチェックし str 型ならば変換し、 str 型でなければ nil を返します。

これにより、 func( 1 ) は int:1 を出力し、 func( "abc" ) は str:abc を出力します。

@@@ は、 キャスト元が nilable でもキャスト可能です。

// @lnsFront: ok
fn func( val:stem ) {
   if! val@@@int {
      print( "int:%d" ( _exp ) );
   }
   if! val@@@real {
      print( "real:%g" ( _exp ) );
   }
}
func( 1.0 );
func( 2.5 );

@@= は、メソッドを持たないクラスを変換する際に利用します。 メソッドを持つクラスや、クラス以外を指定した場合はコンパイルエラーします。

なお、 @@= も変換元の値をチェックせずに強制的に型変換を行ないます。

@@= は、型チェックに時間がかかるような場合に限り使用するべきです。

int、 real 間の変換以外は、 出来るだけキャストは避けるべきです。 generics や、 alge などを利用することで 型を保ったまま汎用処理を作成できます。

キャストを利用するにしても、 @@@ を利用し、 @@ や @@= の利用は必要最低限になるように設計してください。