集合(Sets)型(Type)は値の集合(Set)と捉えることができる • Bool は集合 { True, False }• Color は集合 { Red, Yellow, Green }• Int は集合 { ... -2, -1, 0, 1, 2 ... }• Floatは集合 { ... 0.9, 0.99, 0.999 ... 1.0 ... }• String は集合 { "", "a", "aa", "aaa" ... "hello" ... } つまり、型(Type)の文脈で x : Bool というとき、それは、x は集合 { True, False } の要素というのと同じです。 |