AZ
о, пасиба
Size: a a a
2020 July 05
AD
сколько можно переделывать синтаксис имплиситов
AZ
че-то всё плохо
DS
Тебе надо явно указать версию котов для скалы 2.13
AZ
Тебе надо явно указать версию котов для скалы 2.13
почему 2.13 если дотти?
AD
Оф релиза же нет вроде
DS
почему 2.13 если дотти?
Потому что дотти свежих версий и скала 2.13 бинарно совместимы
AZ
Потому что дотти свежих версий и скала 2.13 бинарно совместимы
А какой синтаксис для реализаций?
DS
А какой синтаксис для реализаций?
Вот он сейчас с given:
https://dotty.epfl.ch/docs/reference/contextual/givens.html
https://dotty.epfl.ch/docs/reference/contextual/givens.html
AZ
Вот он сейчас с given:
https://dotty.epfl.ch/docs/reference/contextual/givens.html
https://dotty.epfl.ch/docs/reference/contextual/givens.html
да, я вижу, но оно так не работает: https://scastie.scala-lang.org/eHfBCwVpR5SEg7wVVy7lLQ
DS
да, я вижу, но оно так не работает: https://scastie.scala-lang.org/eHfBCwVpR5SEg7wVVy7lLQ
Так тебе надо указать type F[_] = ... в реализации
AZ
Так тебе надо указать type F[_] = ... в реализации
попробуй, он скажет "Неожиданный type
AZ
MyInterface does not take type parameters
Вот основная ошибка
Вот основная ошибка
DS
попробуй, он скажет "Неожиданный type
Потому что у тебя трейт не параметризован.
DS
Если ты хочешь сделать реализацию не как given, то ты можешь просто унаследовать этот интерфейс для какого-то твоего класса или вообще сделать анонимную реализацию
AZ
Если ты хочешь сделать реализацию не как given, то ты можешь просто унаследовать этот интерфейс для какого-то твоего класса или вообще сделать анонимную реализацию
я не знаю где найти подходящий синтаксис. Я думал instance Foo Bar пишется как given Foo[Bar], но оно так не работает.
DS
я не знаю где найти подходящий синтаксис. Я думал instance Foo Bar пишется как given Foo[Bar], но оно так не работает.
Проще через скала 2 будет сделать, как мне кажется:
https://scastie.scala-lang.org/sGVIRA8WScikesLt0DBLWg
https://scastie.scala-lang.org/sGVIRA8WScikesLt0DBLWg
DS
я не знаю где найти подходящий синтаксис. Я думал instance Foo Bar пишется как given Foo[Bar], но оно так не работает.
А вот в дотти:
https://scastie.scala-lang.org/SxtiFcIaRxqDvtdxTLxjEw
https://scastie.scala-lang.org/SxtiFcIaRxqDvtdxTLxjEw