AN
По сути, ведь, не видно принципиальной проблемы определять коефиг или его часть аннотациями
Можно сделать аннотациями, тут особой проблемы нет, но тут комплексное решение, которое решает несколько проблем сразу
Size: a a a
2020 March 25
BV
Можно сделать аннотациями, тут особой проблемы нет, но тут комплексное решение, которое решает несколько проблем сразу
Хорошо, я почитаю, поторопился, сорри
AN
Главное - это тайп-классы закрываются
AN
В хорошем смысле
BV
Я не до конца понял детали
AN
Я не до конца понял детали
Ну там много что в кипе написано на эту тему, но можем обсудить
BV
Возможно надо больше примеров
AN
Возможно надо больше примеров
Собственно я предложил перекрыть кейс тайп-классов. Вместо того, чтобы гонять имплиситы аля скала, мы объявляем синглетон в качестве ресивера для всего класса, либо интерфейс, который может работать как extension interface, который может явно задан извне
BV
Если написать use someinterface оттуда реализация будет браться?
AN
Если написать use someinterface оттуда реализация будет браться?
Она должна быть подставлена явно в месте вызова.
AN
При этом если в месте вызова тоже прописать file-level context, то ничего явно проставлять не надо, он будет пробрасываться
BV
Думаю, пример на каком-то реальном кейзе тут решил бы кучу проблем понимания
AN
Я попробую потом добавить. Мой типичный пример - это использование разных алгебр в зависимости от того, с чем работаем, правда там еще дженерики нужны, а с ними все усложняется
AO
Попытка подружить KEEP-176 с тайп-классами: https://github.com/Kotlin/KEEP/issues/209
Как это вообще опять относится к тайп классам? 🤦♂️
AO
Ну не решает оно тех же проблем, что решают тайп классы
AN
Ну не решает оно тех же проблем, что решают тайп классы
Оно решает те же праблемы. Только байндинг в другом месте происходит.
AO
Оно решает те же праблемы. Только байндинг в другом месте происходит.
Как? Тайп классы это про ad hoc полиморфизм, как это сюда присобачить вообще?
BV
Я тоже пока не понял как это решает, но я думаю, хороший пример многое объяснит
AN
Как? Тайп классы это про ad hoc полиморфизм, как это сюда присобачить вообще?
Будет тут ваш полиморфизм, просто в интерфейсе определяются экстеншен методы с полиморфизмом вместе
AN
Тут даже HKT ваше любимое реализуется.