Телеграмм чат группы scala

это про не всегда определенный порядок, а не про "определенное поле"

14:28пожаловаться #1

И снова про грабли:
нет ли тут подвоха? Если мне в каком то случае нужен ордеринг по определенному полю в кейс классе, получается тем же имплиситом я получу Eq по этому полю, чего я совсем не хочу

ну поидее ордеринг и Eq связаны законами. просто в скале ты можешь ими вертеть как хочешь.

14:29пожаловаться #2

т.е. фактически cats.Order.by[T](_.somefield) делаем намек, что T изоморфичен somefield?

14:30пожаловаться #3

// мимо неглядя в законы

14:30пожаловаться #4

причем тут законы

14:30пожаловаться #5

ты не понял для чего этот тайпклас

14:30пожаловаться #6

я так понял вопрос не про Partial в Order, а про то почему он экстендит Eq

14:30пожаловаться #7

но мб я не так понял

14:31пожаловаться #8

Vladimir Pavkin

я так понял вопрос не про Partial в Order, а про то почему он экстендит Eq

да вопрос именно в этом

14:31пожаловаться #9

оно никак не противоречит Eq

14:31пожаловаться #10

т.е. глобально

Order extends PartialOrder extends Eq

мне кажется, что Eq это хороший кандидат на когерентность, но Orderов уж точно может быть много разных для одного и того же типа

14:32пожаловаться #11

Eq тоже может быть много

14:33пожаловаться #12

для этого изобрели ньютайпы

14:33пожаловаться #13

ну просто если ты где-то юзаешь ордер, то eq должен быть оттуда же. иначе че-то сломаться может

14:37пожаловаться #14

🤔

By the totality law, x <= y and y <= x cannot be both false.

получается случай, когда x =!= y && x lt y && x gt y это норма?

14:38пожаловаться #15

Pavel in Scala User Group

говоря о ньютайпах, камент норм:

/** Safe type casting from A to B. */
trait Coercible[A, B] {
  @inline final def apply(a: A): B = a.asInstanceOf[B]
}

14:39пожаловаться #16

🤔

By the totality law, x <= y and y <= x cannot be both false.

получается случай, когда x =!= y && x lt y && x gt y это норма?

*норма с учетом того, что будут явно переданы разные инстансы

14:39пожаловаться #17

Pavel

говоря о ньютайпах, камент норм:

/** Safe type casting from A to B. */
trait Coercible[A, B] {
  @inline final def apply(a: A): B = a.asInstanceOf[B]
}

это детали имплементации

14:39пожаловаться #18

🤔

By the totality law, x <= y and y <= x cannot be both false.

получается случай, когда x =!= y && x lt y && x gt y это норма?

я бы вообще ни на какие законы не полагался там где Eq и Order от разных инстансов

14:41пожаловаться #19

в этом кстате плюс того что он екстендит eq