VK
Ага. А если не хочется тофу только изза этого? Есть cats, zio
F[RuntimeException, _] может быть спокойно описан как F[Throwable, _]Size: a a a
2020 March 25
VK
И к тому же это всетаки описание ф-ции. Мне кажется компилятор должен знать что
TM
ты што так и написал x.y.z ?
Не не , понимаю что это абстракция версии))
Oℕ
Ага. А если не хочется тофу только изза этого? Есть cats, zio
TM
0.12.0
Oℕ
Ага. А если не хочется тофу только изза этого? Есть cats, zio
Если не хотите писать библиотеки для помощи с синтаксисом пишите new FunctionK ...
VK
Если не хотите писать библиотеки для помощи с синтаксисом пишите new FunctionK ...
Спасибо за ответы. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
λ
Спасибо за ответы. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
А кака вариантность у левой дырки F?
λ
0.12.0
а че такая старая
VK
А кака вариантность у левой дырки F?
RuntimeException extends Throwable
λ
RuntimeException extends Throwable
Это ответ на мой вопрос?
λ
Спасибо за ответы. Просто мне кажется компилятор должен знать что F[RuntimeException, _] может быть спокойно описан как F[Throwable, _], без особых действий
Если нет нужной вариантности на дырке, то компилятор ничего не знает о возможности представить это
TM
а че такая старая
Утянула ехампла. Ну пусть 0.14 + , проблема же едва ли в этом ?
λ
хз
λ
смотри доки для 0.12 если она тебе так люба
TM
смотри доки для 0.12 если она тебе так люба
Да дело в том что на гите для установки ни каких более движений не предусмотренно кроме упоминания в plugins.sbt
λ
значит чота не там сконфигурил
VK
Это ответ на мой вопрос?
Я думал что да. спасибо. Я подумаю над этим. Мне пока не хватает знаний чтобы ответить
λ
в любом случае юзай последнюю версию
VK
Если нет нужной вариантности на дырке, то компилятор ничего не знает о возможности представить это
Это ответ если F это
trait F[+E, +A]?