наука и жизнь

[juan_gandhi]

Scala:

  scala> List(Set(1,2)).flatten == List(Set(2,1)).flatten
res3: Boolean = false

Бля.

Comments

[lomeo.livejournal.com]

См. реализацию вот этого класса и всё станет ясно:
https://github.com/scala/scala/blob/v2.9.2/src/library/scala/collection/immutable/Set.scala#L92

[migmit.livejournal.com]

Никакая реализация не оправдывает косяк интерфейса.

[sassa-nf.livejournal.com]

а чё интерфейса?

обязан ли set перебирать одинаковые элементы в одинаковом порядке?

[glocka.livejournal.com]

Не обязан, в общем случае сравнение элементов вообще может быть не определено.

[ivan-gandhi.livejournal.com]

Перебирать не обязан, но equational axiom должна бы поддерживаться для "нормальных" случаев.

[migmit.livejournal.com]

Множества {1,2} и {2,1} совпадают. Аксиома экстенсиональности.

[huzhepidarasa.livejournal.com]

Кто-нибудь гарантирует, что List(Set(1,2))==List(Set(1,2)) (говоря по-простому, referential transparency)?

[lomeo.livejournal.com]

Множества-то как раз равны:

scala> Set(1,2) == Set(2,1)
res0: Boolean = true

Хотя принципиально, конечно, согласен.

[ivan-gandhi.livejournal.com]

Реализация - это или следствие не вполне адекватного понимания, или признание грустной (гнусной) реальности.