たしかに、これだけ高レベルな概念の実装にターゲット依存するものは無いだろうしね。

で、その実装を書くための言語は何にするんだぜ？