テストで確認しなければなりません。でないことを保証してくれます。実行時ではなくコンパイル時にです。言語でも必要なものです。増えているわけではありません。よってエラーを早め(コンパイル時)に検出できることによって、安全性だけでなく生産性も高める仕組みなのです。快適に扱える必要があります。チェックだけで対処するには面倒なケースもあります。値を扱うための便利な仕組みが備わっています。本節ではそのような仕組みの内、次のものを取り上げ説明します。チェックが煩わしいと感じるなら、道具を上手く使えていないのかもしれません。本節を読むことでそのような問題が解決する可能性があります。あなたの言語に「快適に書くための仕組み」が足りていないのかもしれません。「快適に書くための仕組み」の充実度は言語によって大きく異なります。次の表は、どの言語にどの道具があるかをまとめた表です。「快適に書くための仕組み」の中には関数で実装できるようなものもあるので、他の言語の「仕組み」を眺めて自分の言語に取り入れられないか考えてみて下さい。コードを書くことができます。どの道具を使えるかを示すために表に加えています。ラムダ式の型は推論できるけれども変数の型は推論できないからです。して扱われる(キャストされる)という仕組みがありました。