道のり 
- 意味解析
- まずutilityと関数だけにしぼる
- 全てのModuleをシンボルツリーに登録
- 全ての型をシンボルツリーに登録
- 関数をシンボルツリーに登録。
- 関数の中身を意味解析
- 関数の中身のTypePathやIdentPathのシンボルを解決
- 意味解析したStatementに置き換え。
仕様変更履歴 
- 2010/07/31
- Shiba Language
- インターフェースの委譲を削除。
- 固定長配列をver2.0に変更。
- publicメンバ変数のラッパー関数仕様を削除。オフセット位置をリンク時に計算する仕様に変更。
- invariantの実装をver2.0に変更。
|