プログラミングには、データの型が重要である。

特に LuneScript は静的型付け言語なので、 データの型の管理の重要性は理解できるだろう。

なお、 LuneScript のデータの型の管理は Ast.lns でやっている。

型の管理をするソースがなんで Ast.lns なんて名前なんだ、というツッコミはあるだろうが、 それは気にしないでほしい。

早速だが、次のコードにおいて型は幾つあるか分かるだろうか？

// @lnsFront: skip
fn func() {
  print( "hello world" );
}

答は以下の３つ。

• func の関数型
• print の関数型
• "hello world" の文字列型

上記の型情報には、関数を表す型と文字列を表す型があることが分かる。

もちろん、LuneScript は他にも整数型や実数型,クラスなど様々な型をサポートしている。

さらに、型は以下の 2 つに分けることが出来る。

• 予めシステムに組み込んである builtin の型
• ユーザが定義する関数やクラスなどの型

ここで問題なのが、ユーザ定義の型である。

builtin 型だけであれば、 型の情報を全てハードコーディングしておけば済むが、 ユーザ定義の型をサポートするということは、 「ユーザがどのような型を定義しているのか」ということを 動的に管理しなければならないということである。

例えば、次のユーザ定義の関数 func は、

// @lnsFront: skip
pub fn func<T>( val:T ) : &List<T> {
  return [ val ];  
}

次の構成からなる。

• 関数名

  • func

• アクセス制限

  • pub

• 型パラメータ

  • T

• 引数

  • 名前 val
  • 型 T

• 戻り値型

  • &List<T>

このように、一言で関数といっても多くの属性情報から構成される。

なお、上記の例では示していないが、 他にも属性には abstract や static, mutable など様々な属性で構成される。

これらの構成情報を管理するのが、型情報である。

この型情報は、LuneScript では Ast.TypeInfo クラスで管理している。

次のコードを見て欲しい。

// @lnsFront: skip
let list1:List<int>;
let list2:&List<int>;
let list3:List<int>!;
let list4:&List<int>!;

このコードは変数 list1 〜 list4 を宣言している。

それぞれの変数の型は、下記 4 つである。

• List<int>
• List<int> の immutable
• List<int> の nilable
• List<int> の immutable の nilable

これは List<int> に対するバリエーションである。

このバリエーションは、基本的に全ての型に対して存在する。

そして、それぞれは異なる型なので、 型情報としても異なる型情報として管理する必要がある。

// @lnsFront: skip
   /**この TypeInfo に対する immutable な型を取得  */
   pub fn get_imutType(): &TypeInfo;
   /**この TypeInfo に対する nilable な型を取得  */
   pub fn get_nilableTypeInfo(): &TypeInfo;
   /**この TypeInfo に対する nonnilable な型を取得  */
   pub fn get_nonnilableType(): &TypeInfo;
   /**この TypeInfo に対する mutable な型を取得  */
   pub fn get_srcTypeInfo(): &TypeInfo;

// @lnsFront: skip
fn func( mut list1:List<int>, mut list2:&List<int>, 
         mut list3:List<int>!, mut list4:&List<int>! )

// @lnsFront: skip
list1 = list2; // error
list1 = list3; // error
list1 = list4; // error

list2 = list1;
list2 = list3; // error
list2 = list4; // error

list3 = list1;
list3 = list2; // error
list3 = list4; // error

list4 = list1;
list4 = list2;
list4 = list3;

// @lnsFront: skip
let mut list1:List<Hoge>;
let mut list2:List<&Hoge>;

// @lnsFront: skip
list1 = list2; // error
list2 = list1;

// @lnsFront: skip
class Super {
}
class Sub extend Super {
}

// @lnsFront: skip
let super = new Super();
let sub = new Sub();

super = sub;
sub = super; // error