Читая этот блог пост от Chuusai, он говорит:
def size(x : Either[Int, String]) = x match {
case Left(i) => i
case Right(s) => s.length
}
size(Left(23)) == 23 // OK
size(Right("foo")) == 3 // OK
Либо [Int, String] может моделировать тип объединения Int ∨ String, поскольку существует изоморфизм между двумя типами и их значениями.
Что означает «существует изоморфизм между двумя типами и их значениями»?
Сначала вам нужно определить термин «значения» в контексте Scala. Я предполагаю, что это означает канонические выражения с этим типом, выражения формы Left(n) или Right(s) для постоянного целого числа n или строка s. Тогда изоморфизм является прямым отображением на математический тип Int String. Но как насчет, например, null или Right( null )? У них есть изображения под этим отображением? Не кажется мне полностью изоморфным.
