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

tam eto gde

01:52пожаловаться #1

v projektore ili v scale 3?

01:52пожаловаться #2

Apache DOG™ in Scala User Group

В скале 3, пол года назад она вроде как была

02:07пожаловаться #3

02:27пожаловаться #4

teper' ona inferitsa

02:27пожаловаться #5

Пример?

08:52пожаловаться #6

Oℕ

нельзя написать
+X =>> F[G[X]]

10:17пожаловаться #7

Oℕ

пишешь без плюса и скала инферит

10:17пожаловаться #8

Не понял. Речь о тайп лямбдах? Это форолл или тайп лямбда?

10:23пожаловаться #9

Oℕ

пофиксил

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

Как выразить F[-_] ?

10:26пожаловаться #11

Oℕ

так же

10:26пожаловаться #12

Через тайп лямбду. Если теперь знаки нельзя ставить

10:27пожаловаться #13

Oℕ

просто автоматически присвоит вариантность в зависимости от того, в каких позициях встречается переменая

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

Oℕ

ну
type F = X =>> List[X] => IO[Unit]

10:27пожаловаться #15

Oℕ

будет контравариантным

10:27пожаловаться #16

Но хк параметров знаки остаются?

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

Oℕ

ну нельзя написать
[+F[_]] =>>
но можно
[F[+_]] =>>

10:32пожаловаться #18

Хорошо

10:33пожаловаться #19

2021 May 17

https://twitter.com/not_xuwei_k/status/1394144574143176704

Twitter

not Kenji Yoshida

because of things like this, _2.13 and _3 aren't completely binary compatible, so when there's a conflict of having both _2.13 and _3 of a module, forcefully excluding one might appear to work, but could result in a runtime error iirc unapply's are not compatible either