↑を読んでてふと思ったんだけど、数学の集合は、自身もその要素もどちらも Equatable であることが仮定されているのかな？当然っちゃ当然だけど、そういう定義って見たことがない気が。自明だから？プログラミング的に考えたら、 Set<T> に求められる操作を考える過程で T : Equatable と Set<T> : Equatable が導かれる気がする。 (edited)