型システム
タグ無し共用体を明示的型変換して、あらゆる型を表わす。
静的な型検査によってコンパイラは最適化に有用な情報を得ることがある。例えばデータ構造アライメントの指定によって、ある型の値が16の倍数のアドレスに配置されることが保証されていれば、コンパイラはより効率の良いマシン命令を選択できる。