型システムがある言語環境で、型システムがある新たな言語のコンパイラを記述できるの、昔の人の苦労に感謝が必要な巨人の肩みたいな感じなのかも＞＜ 型だけに＞＜