直和型とは 直和型は、複数の型のうち「どれか1つ」を表現できる型のことです。数学の集合論における「直和集合」から名付けられています。 「ちょ···