型安全を保障するのに型推論は不可欠なのであ?