型クラス

型クラスは、既存の型に新しい振る舞いを非侵入的に与えるための抽象的な仕組みです。 通常の継承とは異なり、型定義そのものを変更することなく、特定の振る舞いや操作を後付けで定義できます。 Scalaにおいては、 given / using / extension 構文を用いて型クラスを定義・インスタンス化することが可能であり、 高い再利用性とモジュール性を持つ関数型設計において中核的な役割を果たします。