Fish Wang says to YSITD
在第一次執行的時候生成類型定義,然後要是遇到不同的就直接爆炸