我有一個有毒的特質,就是嚴格的類型檢查 + 用斷言來消除紅線