\chapter{評価}

\section{GearsOSの構文作製}
GearsOSで使われるInterface、およびそのImplementの型定義ファイルを導入した。
GearsOSでプログラミングする際に通常のC言語やJavaなどの言語の様に、まず型を作成してからプログラミングすることが可能になった。

ただし現状のGearsOSでは1ファイルに1つの型定義しかできない。
アプリケーションとしてGearsOSを動かす現在の例題ではそこまで問題になっていない。
しかし、CbC xv6などの実用的なアプリケーションを実装する場合は、ファイルの数が莫大になる可能性がある。
1ファイル内で様々な型が定義可能になれば、 より見通しの良いプログラミングが可能であると考えられる。

\section{GearsOSのトランスパイラ}

\section{GearsOSのメタ計算}