juan_gandhi: (Default)
[personal profile] juan_gandhi
Scala:
  scala> List(Set(1,2)).flatten == List(Set(2,1)).flatten
res3: Boolean = false


Бля.

Date: 2012-07-02 07:34 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
да, прикольно. каноничного порядка в сете нет.

Date: 2012-07-02 07:39 pm (UTC)
From: [identity profile] lomeo.livejournal.com
Зависит от Set:

import scala.collection.immutable._

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

Date: 2012-07-02 07:46 pm (UTC)
From: [identity profile] sassa-nf.livejournal.com
ну в HashSet есть каноничный порядок

(no subject)

From: [identity profile] huzhepidarasa.livejournal.com - Date: 2012-07-02 09:02 pm (UTC) - Expand

(no subject)

From: [identity profile] ivan-gandhi.livejournal.com - Date: 2012-07-02 09:29 pm (UTC) - Expand

(no subject)

From: [identity profile] huzhepidarasa.livejournal.com - Date: 2012-07-03 06:17 am (UTC) - Expand

Date: 2012-07-02 08:18 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Вот правильный сет! Спасибо за идейку!

Sorry, could not resist

Date: 2012-07-02 07:37 pm (UTC)
From: [identity profile] spamsink.livejournal.com
И так будет с каждым, кто не пользуется C++ STL.

Date: 2012-07-03 06:54 am (UTC)
From: [identity profile] sorhed.livejournal.com
STL, конечно, неплохая библиотека. Её портит только вот это вот недоразумение, по ошибке считающееся языком программирования...

(no subject)

From: [identity profile] spamsink.livejournal.com - Date: 2012-07-03 06:56 am (UTC) - Expand

(no subject)

From: [identity profile] sorhed.livejournal.com - Date: 2012-07-03 06:58 am (UTC) - Expand

(no subject)

From: [identity profile] spamsink.livejournal.com - Date: 2012-07-03 07:06 am (UTC) - Expand

(no subject)

From: [identity profile] sorhed.livejournal.com - Date: 2012-07-03 07:07 am (UTC) - Expand

(no subject)

From: [identity profile] spamsink.livejournal.com - Date: 2012-07-03 07:14 am (UTC) - Expand

(no subject)

From: [identity profile] a-jelly.livejournal.com - Date: 2012-07-04 12:35 pm (UTC) - Expand

(no subject)

From: [identity profile] ivan-gandhi.livejournal.com - Date: 2012-07-03 04:33 pm (UTC) - Expand

Date: 2012-07-02 07:38 pm (UTC)
From: [identity profile] lomeo.livejournal.com
См. реализацию вот этого класса и всё станет ясно:
https://github.com/scala/scala/blob/v2.9.2/src/library/scala/collection/immutable/Set.scala#L92

Date: 2012-07-02 07:41 pm (UTC)
From: [identity profile] migmit.livejournal.com
Никакая реализация не оправдывает косяк интерфейса.

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-02 07:48 pm (UTC) - Expand

(no subject)

From: [identity profile] glocka.livejournal.com - Date: 2012-07-02 07:53 pm (UTC) - Expand

(no subject)

From: [identity profile] ivan-gandhi.livejournal.com - Date: 2012-07-02 07:54 pm (UTC) - Expand

(no subject)

From: [identity profile] migmit.livejournal.com - Date: 2012-07-02 07:59 pm (UTC) - Expand

(no subject)

From: [identity profile] huzhepidarasa.livejournal.com - Date: 2012-07-02 08:28 pm (UTC) - Expand

(no subject)

From: [identity profile] lomeo.livejournal.com - Date: 2012-07-02 08:28 pm (UTC) - Expand

Date: 2012-07-02 07:53 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Реализация - это или следствие не вполне адекватного понимания, или признание грустной (гнусной) реальности.

ага

Date: 2012-07-02 07:38 pm (UTC)
From: [identity profile] 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

Re: ага

Date: 2012-07-02 07:49 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Да, вот именно.
Проблема.

Date: 2012-07-02 07:50 pm (UTC)
From: [identity profile] ralitza.livejournal.com
для меня первые строки - медитация

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

Date: 2012-07-02 08:03 pm (UTC)
From: [identity profile] cema.livejournal.com
Плохая, негодная Scala!

Date: 2012-07-02 08:35 pm (UTC)
From: [identity profile] akalenuk.livejournal.com
Хм. Вот не знаю скалы, но кажется правильней было бы как-то так:
List(Set(1,2), order_fun)

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

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

Date: 2012-07-02 08:42 pm (UTC)

Date: 2012-07-03 03:23 am (UTC)
From: [identity profile] dvig-al.livejournal.com
блин, читая переписку в рассылке, очень напомнило http://www.scala-lang.org/node/9021.
Edited Date: 2012-07-03 03:24 am (UTC)

Date: 2012-07-03 03:27 am (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
О как роскошно. Сидел ржал.

(no subject)

From: [identity profile] dvig-al.livejournal.com - Date: 2012-07-03 03:45 am (UTC) - Expand

Date: 2012-07-03 09:01 am (UTC)
From: [identity profile] aamonster.livejournal.com
Какая прелесть =)
И ведь ни один э... хороший человек не посоветовал написать x.compare(y)

(no subject)

From: [identity profile] aamonster.livejournal.com - Date: 2012-07-03 09:06 am (UTC) - Expand

(no subject)

From: [identity profile] dvig-al.livejournal.com - Date: 2012-07-03 09:20 am (UTC) - Expand

(no subject)

From: [identity profile] aamonster.livejournal.com - Date: 2012-07-03 09:25 am (UTC) - Expand

Date: 2012-07-03 05:26 am (UTC)
From: [identity profile] nponeccop.livejournal.com
Prelude Data.Set> toList (fromList [1, 2]) == toList (fromList [2,1])
Loading package array-0.3.0.2 ... linking ... done.
Loading package containers-0.4.0.0 ... linking ... done.
True


хехе

Date: 2012-07-03 06:11 am (UTC)
From: [identity profile] huzhepidarasa.livejournal.com
Ну дык. Профессура со своими когомологиями. Не хотят как все нормальные люди, кувалдой ;-)

Date: 2012-07-03 07:25 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
рано радуетесь. :)

http://ivan-gandhi.livejournal.com/2019207.html?thread=24711559#t24711559 - такой пример не существует? разве только по умолчанию в хаскеле это SortedSet.

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 08:34 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 09:11 am (UTC) - Expand

(no subject)

From: [identity profile] thesz.livejournal.com - Date: 2012-07-03 10:00 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 10:06 am (UTC) - Expand

(no subject)

From: [identity profile] thesz.livejournal.com - Date: 2012-07-03 10:43 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 10:52 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 10:29 am (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 11:41 am (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 02:20 pm (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 02:40 pm (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 02:42 pm (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 02:50 pm (UTC) - Expand
(deleted comment)

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 02:53 pm (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 03:02 pm (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 06:18 pm (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-04 04:51 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-04 07:30 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 06:10 pm (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-03 06:11 pm (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 08:02 pm (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-04 04:54 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-04 07:27 am (UTC) - Expand

(no subject)

From: [identity profile] nponeccop.livejournal.com - Date: 2012-07-04 07:38 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-04 07:39 am (UTC) - Expand

Date: 2012-07-03 06:11 am (UTC)
From: [identity profile] eacher.livejournal.com

$> ghci
GHCi, version 7.0.4: 
...
... done.
Prelude> :m Data.Set
Prelude Data.Set> let s1 = Data.Set.empty
...
... done.
Prelude Data.Set> let s2  = Data.Set.empty
Prelude Data.Set> let s11 = Data.Set.insert 1 s1
Prelude Data.Set> let s12 = Data.Set.insert 2 s11
Prelude Data.Set> let s21 = Data.Set.insert 2 s2
Prelude Data.Set> let s22 = Data.Set.insert 1 s21
Prelude Data.Set> s12 == s22
True
Edited Date: 2012-07-03 06:13 am (UTC)

Date: 2012-07-03 06:59 am (UTC)
From: [identity profile] sorhed.livejournal.com
Анноит? Пиши камплейн репорть баг. :) Ведь баг же?

Date: 2012-07-03 07:10 am (UTC)
From: [identity profile] sorhed.livejournal.com
Впрочем, действительно, не баг. Нужен SortedSet. Ещё в джаве был LinkedHashSet для таких целей.

Date: 2012-07-03 07:26 am (UTC)
From: [identity profile] eacher.livejournal.com
>> Анноит?
ni razu

vidimo nado prodolzhit'...

fp : "odin i tot zhe argument - odin i tot zhe rezultat"

vyshe pokazano ravenstvo listov, nu dlya chistoty :


Prelude Data.Set> Data.Set.toList s12 == Data.Set.toList s22
True


point v tom, chto scala - javno ne "tort"

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 08:31 am (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 09:20 am (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 09:26 am (UTC) - Expand

(no subject)

From: [identity profile] thesz.livejournal.com - Date: 2012-07-03 10:03 am (UTC) - Expand

(no subject)

From: [identity profile] sassa-nf.livejournal.com - Date: 2012-07-03 10:17 am (UTC) - Expand

(no subject)

From: [identity profile] eacher.livejournal.com - Date: 2012-07-03 11:00 am (UTC) - Expand

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 13th, 2025 08:46 pm
Powered by Dreamwidth Studios