これは実践的にも影響がでかいしコンパイラ実装的にも深い