p
Для референс типов.
Там же нет специализации для чисел
Size: a a a
2020 December 29
p
Или есть? О.о
DS
Там же нет специализации для чисел
Ну я к тому, что для референс типов это верно в какой-то степени
p
Ну я к тому, что для референс типов это верно в какой-то степени
Ну там не-референс положить нельзя)
p
Integer это референс тип
DS
Ну там не-референс положить нельзя)
Да.
DS
Integer это референс тип
И да, скала умеет в специализированные типы для примитивов.
CD
а как-то дальше это проявляется? полные специализации? частичные замены функций?
p
И да, скала умеет в специализированные типы для примитивов.
Так что интероп с ней невозможен ага
p
Вручную пилят
DS
Так что интероп с ней невозможен ага
Ну это пофигу, потому что он и так с ней невозможен из-за дикой разницы в системах типов
DS
Т.е. тебе так и так для джавистов придется делать отдельный вход
DS
В либе
DS
Это как раз нормально
ΑZ
а как-то дальше это проявляется? полные специализации? частичные замены функций?
ну у нас в проде используется по-всякому. Переписывание запросов которые лезут в бд и т.п. Например запрос
foo.Map(...).Filter(...) переписывается на foo.Filter().Map() который лучше с индексами работает и т.п.ΑZ
это работает именно на интроинспекции фунок и их переписывание в рантайме
CD
забавно, что при таких махинациях ты против сфинайки :)
ΑZ
потому что оно проще
ΑZ
вот есть дерево на входе, вот я придумал трансформацию и такое дерево на выходе
ΑZ
похоже на то что ллвм делает