Size: a a a

Scala User Group

2020 March 30

АУ

Айдар Ульданов in Scala User Group
а так в трейт вынес, а трейт в дженерик и поехал красиво
источник

Y

Yevhen in Scala User Group
щас TF посоветуют)
источник

λ

λoλegΥch in Scala User Group
ну это не просто алиасы, а именно что зависимые типы, не удивляйся потом если (new A).myType is not assignable from (new A).myType
источник

λ

λoλdog in Scala User Group
Айдар Ульданов
Не думаю что ок, мне кажется когда уже создаешь обьект то типы должны быть проинициализированы
когда создаешь обьект, типов нет
источник

АУ

Айдар Ульданов in Scala User Group
Типов нет, но при компиляции они есть
источник

λ

λoλdog in Scala User Group
обьект то ты не при компиляции создаешь
источник

АУ

Айдар Ульданов in Scala User Group
Компилятор должен был мне сказать чувак ты не обьявил тип
источник

АУ

Айдар Ульданов in Scala User Group
я даже final пробывал все так же
источник

АУ

Айдар Ульданов in Scala User Group
компилятор же видит что я создаю обьект у которого не инициализированы типы
источник

АУ

Айдар Ульданов in Scala User Group
источник

АУ

Айдар Ульданов in Scala User Group
посмотрим что другие думают по этому поводу
источник

AS

Andrey Sugak in Scala User Group
Айдар Ульданов
Компилятор не должен ругаться что абстрактный тип не был указан?
Нет.
источник

АУ

Айдар Ульданов in Scala User Group
Спасибо @sugakandrey но я уже узнал что "нет" кинув код в REPL
источник

АУ

Айдар Ульданов in Scala User Group
мне больше интересно почему так
источник

AS

Andrey Sugak in Scala User Group
Айдар Ульданов
компилятор же видит что я создаю обьект у которого не инициализированы типы
Все у него проициниализированно, твоим типом вполне можно пользоваться, он конечно не супер полезен, т.к. unbounded, но не очень понятно почему это должно быть ошибкой.
источник

AS

Andrey Sugak in Scala User Group
источник
2020 March 31

λ

λoλegΥch in Scala User Group
источник

Oℕ

Oleg ℕizhnik in Scala User Group
У меня было отчётливое ощущение, что какая-то из доттей ругалась на абстрактные тайпмемберы в неабстрактных типах
источник

λ

λoλegΥch in Scala User Group
наверно та в которой тайп параметры выпилили
источник

AS

Andrey Sugak in Scala User Group
Я только про проекции из абстрактных типов помню.
источник