直積型
●
値を組み合わせる型
●
レコード、クラス、配列
●
値のとりうるパターンがそれぞれの値のとりうるパターンの積
●
record A(boolean a, byte b) {}
●
2 x 256で512とおり
Slide 16
Slide 16 text
直和型
●
いずれかの型になる
●
とりうるパターンは足し算になる
●
sealedの導入
sealed interface Op {
record AddOp(int a, int b) implements Op {}
record SubOp(int a, int b) implements Op {}
}