Size: a a a

Scala User Group

2020 March 25

K

Kai in Scala User Group
Victor Kalinin
Ага. А если не хочется тофу только изза этого? Есть cats, zio
Lambda[F[RuntimeException, *] ~> F[Throwable, *]](x => x)
источник

VK

Victor Kalinin in Scala User Group
Kai
Lambda[F[RuntimeException, *] ~> F[Throwable, *]](x => x)
Спасибо за ответ. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
источник

K

Kai in Scala User Group
Victor Kalinin
Спасибо за ответ. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
Еще FunctionK.lift работает - https://scastie.scala-lang.org/8KAgqKzuSzyPECitgUllDg
Он знает _в принципе_, просто ~> это не часть языка и он не может его инфернуть
источник

K

Kai in Scala User Group
Вернее в самом ~> нет поддержки автодерайвинга такого рода
источник

ΛВ

Λнтон Войцишевский in Scala User Group
Victor Kalinin
Спасибо за ответ. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
почему? Это же какие-то неявные тогда соглашения на уровне компилятора, а у нас тут типизация все дела
источник

AV

Abyr Valg in Scala User Group
Result:
└─ org.matthicks:mailgun4s_2.13:1.0.13
  ├─ io.youi:youi-client_2.13:0.11.11
  │  ├─ com.squareup.okhttp3:okhttp:4.0.0
  │  │  ├─ com.squareup.okio:okio:2.2.2
  │  │  │  └─ org.jetbrains.kotlin:kotlin-stdlib:1.2.60 -> 1.3.40 (possible incompatibility)
  │  │  │     ├─ org.jetbrains:annotations:13.0
  │  │  │     └─ org.jetbrains.kotlin:kotlin-stdlib-common:1.3.40
  │  │  └─ org.jetbrains.kotlin:kotlin-stdlib:1.3.40
  │  │     ├─ org.jetbrains:annotations:13.0
  │  │     └─ org.jetbrains.kotlin:kotlin-stdlib-common:1.3.40
источник

AV

Abyr Valg in Scala User Group
Блядь, какой пиздец
источник

AV

Abyr Valg in Scala User Group
Блядь
источник

λ

λoλegΥch in Scala User Group
пора прикрутить мисинглинк
источник

AV

Abyr Valg in Scala User Group
При чем тут миссинглинк
источник

GP

Grigory Pomadchin in Scala User Group
бывает
источник

AV

Abyr Valg in Scala User Group
org.matthicks:mailgun4s --> org.jetbrains.kotlin:kotlin-stdlib
источник

GP

Grigory Pomadchin in Scala User Group
почему нету кложи у меня вопрос
источник

λ

λoλegΥch in Scala User Group
Abyr Valg
При чем тут миссинглинк
нервы поберечь
источник

AV

Abyr Valg in Scala User Group
чем он мне поможет?
источник

AV

Abyr Valg in Scala User Group
У меня две скалабиблиотеки притащили в класспас две разные версии котлиновского рантайма
источник

AV

Abyr Valg in Scala User Group
На скале уже без котлиновского рантайма писать нельзя, пиздец блядь
источник

λ

λoλegΥch in Scala User Group
с каких пор окхттп скаловская либа?
источник

AV

Abyr Valg in Scala User Group
mailgun4s -> okhttp -> kotlin
источник

AV

Abyr Valg in Scala User Group
Разницы никакой. Скаловская либа транзитивно притащила коклен
источник