SM
Size: a a a
2020 August 26
SM
ну и есть ТГ канал (свежий; который надо поддерживать) https://t.me/scalalaz_podcast
K
А в скале 3 случаем не планируют в имплисит скоуп добавить компаньон тайп алиаса?
В скале 2.13 (и 2.12 с -Xsource:2.13) уже в имплисит скоупе компаньон^W окружающий обжект тайп алиаса
K
см. вторую часть сниппета, "implicit re-export": https://scastie.scala-lang.org/4QXmerMLTuidw5zIuP8VlA
K
@rudogma @odomontois В итоге сделал через тайп теги из supertagged. Пришлось немного полифтить инстансы через LiftF, но это всё в одном месте в компаньоне. В 3 скале наверное получится также через опаки сделать.
Да не нужны никакие опаки и супертаггед, твой юзкейс работает на ванильной скале 2, просто надо алиас объявлять как
https://scastie.scala-lang.org/oFnTagOGRyKcXggx5naAow
type T >: G <: G, а не type T = G (по тайпчекеру результат одинаковый, T =:= G, но у T в первой форме еще и свой собственный имплисит скоуп)https://scastie.scala-lang.org/oFnTagOGRyKcXggx5naAow
2020 August 27
ЮБ
Да не нужны никакие опаки и супертаггед, твой юзкейс работает на ванильной скале 2, просто надо алиас объявлять как
https://scastie.scala-lang.org/oFnTagOGRyKcXggx5naAow
type T >: G <: G, а не type T = G (по тайпчекеру результат одинаковый, T =:= G, но у T в первой форме еще и свой собственный имплисит скоуп)https://scastie.scala-lang.org/oFnTagOGRyKcXggx5naAow
Воу, вот это круто, попробую
ЮБ
В скале 2.13 (и 2.12 с -Xsource:2.13) уже в имплисит скоупе компаньон^W окружающий обжект тайп алиаса
Погоди, так это для любого тайп алиаса? Или только для того, который в форме
type T >: G <: G?λ
Погоди, так это для любого тайп алиаса? Или только для того, который в форме
type T >: G <: G?Второе
M
Погоди, так это для любого тайп алиаса? Или только для того, который в форме
type T >: G <: G?эта форма нужна для того, чтобы оно перестало быть таггетом(полуотдельным типом) и смогло ходить туда сюда. в форме type T <: G - это тот же таггеттайп. и скоуп соответственно по тем же принципам таггетов цепляется
ЮБ
На самом деле было бы круто, если бы это работало как то более явно
ЮБ
Сейчас похоже на шаманство
Oℕ
Ну собственно я исходно предлагат десять раз опак с баундами
AM
Всем привет, а есть группа по андроид разработке аналогичная этой?
ЮБ
Ну собственно я исходно предлагат десять раз опак с баундами
Я из этой формулировки не вычленил, что опак с баундами имеет другой имплисит скоуп. Я этого не знал.
Oℕ
Я из этой формулировки не вычленил, что опак с баундами имеет другой имплисит скоуп. Я этого не знал.
Ну это перечислялось в купе с другими опциями, ты и не хотел особенно узнать, как выполнить какой-то из вариантов, просто бесконечно повторял, что тебе очень нужно, чтобы компилятор работал по другому.
Собственно, из-за этого я разнервничался и удалил всё
Собственно, из-за этого я разнервничался и удалил всё
ЮБ
Прости, Олег, в следующий раз буду няшей
K
Ну, "опак с баундами" это сложно понять учитывая что в скале 2 нет опаков. (это абстрактные тайп мемберы)
K
Вообще это баг / неопределенное поведение компилятора так что об этом сложно догадаться если уже не знаешь
Oℕ
Ну, "опак с баундами" это сложно понять учитывая что в скале 2 нет опаков. (это абстрактные тайп мемберы)
Вопрос то был не про скалу 2