クラスパラメータ クラス名の直後に書くコンストラクタを基本コンストラクタと呼び，基本コンストラクタの引数をクラスパラメータという． class Rational(n: Int, d: Int) 事前条件チェック requireを使うと，引数に渡される値に制限を設けることができる．…

型が重要な感じがしたのでメモ． 静的な型づけ 静的型付け言語であるScalaでは，ジェネリクスで型をパラメータ化したり，抽象型で型の詳細を隠蔽することができる．型が動的な言語(Python，Rubyとか)では，ジェネリクスや抽象型などの仕組みはなくとも，上記…