C + template + 型チェック強化　な言語がほしい。
GCはいらん（組み込みに向かなくなる）
オブジェクト指向とか状態遷移マシン実装サポートとかは
templateメタプログラミングなライブラリで提供。
組み込みでも使いやすいようtemplate使用時の
コード生成が規制できる。
　
そんな言語がほしい。