L
Хотел в понве разобраться, но вас там кажется нет.
Так что даю вам шанс здесь переформулировать свой вопрос без подковырки.
Так что даю вам шанс здесь переформулировать свой вопрос без подковырки.
Size: a a a
2021 June 23
o
Может лучше за гаражами?
L
Мне кажется, что за вопросом стоит недопонимание (не моё), достойное разъяснения
2021 June 24
K
Я предлагаю вам разобраться в личке, пока выдал мут на неделю
WB
Наконецто
TS
Добрый день
подскажите можно как-то переписать код, чтобы скала вывела типы
https://scastie.scala-lang.org/lkzdkdroQfmopClvy66xvA
подскажите можно как-то переписать код, чтобы скала вывела типы
https://scastie.scala-lang.org/lkzdkdroQfmopClvy66xvA
ЮБ
А почему
extends HasId[String] ? Обычно такое на тайпклассах выражаютTS
так исторически сложилось ) по условию от этого нельзя отказаться
ЮБ
То есть переделать на тайпкласс нельзя?
TS
неа
ЮБ
Ну ладно
EH
можно сделать новый тайпкласс, который выводится из extends
TS
можете какой-нить пример на минималках показать, а то так неясно ?
TS
о! красиво, спасибо
ЮБ
На самом деле я удивлён, что сработало
ЮБ
Вывод типов дело такое
TS
кстати, не понял вашу мысль что HasId[ID] обычно через тайпклассы выражают
такой тайпкласс ведь должен быть типизирован и для Entity и для ID
т.е. типа
и в чем же от него тогда польза ? или я совсем не об этом ?
такой тайпкласс ведь должен быть типизирован и для Entity и для ID
т.е. типа
trait HasIdTC[T, ID] {
def id: ID
}и в чем же от него тогда польза ? или я совсем не об этом ?
ЮБ
Ну да, типа того