Тайп класс – паттерн, пришедший из Haskell. В Scala тайп класс это трейт с хотя бы одним параметром типа. Этот параметр определяет конкретные типы, для которых определены экземпляры тайп класса.

Scala включает в себя несколько понятий для обозначения отсутствия значения. Каждое из них используется в строго определенных ситуациях, потому хорошо бы знать, что же каждое их этих понятий означает и где применяется.