Oℕ
это нужно чтобы скорее всего был какой-то имплисит связывающий типы
"Hello" и StringSize: a a a
2020 August 25
VS
хмм, да мне он на самом деле мне нужен в дженерик виде только будет, спасибо!
2020 August 26
ЮБ
А в скале 3 случаем не планируют в имплисит скоуп добавить компаньон тайп алиаса?
ЮБ
А для обычных?
ЮБ
Бесит, что имплиситы из компаньонов обычных тайп алиасов не подтягиваются
ЮБ
Это какие-то детали реализации. Я думаю, правило вполне можно формализовать.
ЮБ
Ну допустим я сделал свой тип на базе
Either. И хочу для моего алиаса добавить имплисит в компаньон. Чтобы он был всегда в имплисит скоупе.ЮБ
Я хочу, чтобы имплисит скоуп расширялся благодаря наличию компаньона для тайп алиаса. Не поведение самого типа, а именно имплисит скоуп
ЮБ
Да пофиг. Допустим даже оба типа зафиксированы.
λ
В зио так сделали (компаньон для алиаса). Очень неудобно.
ЮБ
Ну вот сейчас это ломает ожидания, на мой взгляд. Есть простое правило — если хочешь, чтобы твои имплиситы добавлялись в имплисит скоуп без явного импорта, то пихай их в компаньон. И это работает для всего, кроме тайп алиасов.
ЮБ
То есть это какбэ работает всегда, но не всегда
ЮБ
Ну ок, значит я хочу изменения поведения
ЮБ
Я не хочу новый тип. Я хочу старый с зафиксированными типами в дырках
ЮБ
Ну сейчас я делаю просто явный импорт. И это бесит
ЮБ
Я хочу без явного импорта
ЮБ
Ну и как для типов, которыми я не управляю, так сделать? Для того же
Either напримерЮБ
Ну, у меня пока скала 2 :)
ЮБ
Вообще почитал трекер скаловый. Давно эту тему поднимали уже и несколько раз. Это ещё для всяких тайп тегов неудобно
ЮБ
Каждый раз там ответ — ну, сейчас у нас компаньон для тайп алиаса не компаньон