例えばHashableは

1:16 AM

Equalならhashが同じじゃないといけない

1:16 AM

って規約を持つわけで

1:16 AM

Equatableの特性を厳密化すれば

1:17 AM

Arrayの責任ではなくなる。

1:18 AM

NaNは < も > も falseを返すので、ソート結果が安定しないのと同じ。