Typing : Schemeへの型付け

型付けの規則

型のデータドメインは以下の通り。整数と実数は同じパーティションにある。
型付けのシンタックスは以下の通り。
型にはunion typeを導入する。Schemeのデータの型が一意に決まらないときはunion型により複数の可能性を持たせる。
(if #f 2 #f)の持つ型は num U boolean となる。

型情報を利用した最適化

仮定ではすべてのschemeのデータをボックス化してScmObjのインスタンスにして扱うが、型が一意に決まるときはそのままjavaの基本データ型と同一視して扱う。