コンパイラの理論だけじゃ関数型言語はわからんよ