型クラスを一言で言うと型に対する制約というので良いのでしょうか。性質とか特徴と捉えた方が分かりやすいような気もしますけどどうなのでしょう。本には例としてsort関数のことが書かれていて、sort関数は整数のリスト・浮動小数点のリスト・文字列のリス…