наука и жизнь

[juan_gandhi]

Scala:

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

Бля.

Comments

[sassa-nf.livejournal.com]

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

Sorry, could not resist

[spamsink.livejournal.com]

И так будет с каждым, кто не пользуется C++ STL.

[lomeo.livejournal.com]

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

ага

[zhengxi.livejournal.com]

scala> Set(1,2).toString == Set(2,1).toString
res11: Boolean = false

scala> Set(1,2).toList == Set(2,1).toList
res12: Boolean = false

[lomeo.livejournal.com]

Зависит от Set:

import scala.collection.immutable._

scala> List(HashSet(1, 2)).flatten == List(HashSet(2,1)).flatten
res0: Boolean = true

[migmit.livejournal.com]

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

[sassa-nf.livejournal.com]

ну в HashSet есть каноничный порядок

[sassa-nf.livejournal.com]

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

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

Re: ага

[ivan-gandhi.livejournal.com]

Да, вот именно.
Проблема.

[ralitza.livejournal.com]

для меня первые строки - медитация

последнее слово - сигнал к ее окончанию.

[ivan-gandhi.livejournal.com]

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

[glocka.livejournal.com]

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

[ivan-gandhi.livejournal.com]

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

[migmit.livejournal.com]

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

[cema.livejournal.com]

Плохая, негодная Scala!

[ivan-gandhi.livejournal.com]

Вот правильный сет! Спасибо за идейку!

[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

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

[akalenuk.livejournal.com]

Хм. Вот не знаю скалы, но кажется правильней было бы как-то так:
List(Set(1,2), order_fun)

Просто так привести множество в список нельзя же. Нужен антирефлексивный порядок, а откуда его взять?

Кстати. "List(Set(1,2,2)).flatten == List(Set(2,1,1)).flatten" ?

[ivan-gandhi.livejournal.com]

false

[huzhepidarasa.livejournal.com]

Это, боюсь, пока на коллизию не напоролись.

scala> (563,983).hashCode
res1: Int = 8056365
scala> (961,751).hashCode
res2: Int = 8056365
scala> List(HashSet((563,983),(961,751))).flatten == List(HashSet((961,751),(563,983))).flatten
res3: Boolean = false

[ivan-gandhi.livejournal.com]

А блин...

Спасибо за пример.

[dvig-al.livejournal.com]

блин, читая переписку в рассылке, очень напомнило http://www.scala-lang.org/node/9021.

[ivan-gandhi.livejournal.com]

О как роскошно. Сидел ржал.

[dvig-al.livejournal.com]

Ну, позже баг пофиксили конечно, но тож скрежет был :)