AO
inline class, наверное, имелся в виду. Why not?
Ну он все ещё существует на рантайме и даёт свои накладные расходы в тех же list
Size: a a a
2019 July 27
QH
Ну он все ещё существует на рантайме и даёт свои накладные расходы в тех же list
экземпляр? существует только тогда, когда он сбежал от компилятора
AO
экземпляр? существует только тогда, когда он сбежал от компилятора
Ну когда ты делаешь List<ValueClass> оно уже убегает
AM
Ну он все ещё существует на рантайме и даёт свои накладные расходы в тех же list
Ну дык а как иначе его там отличать от вложенного типа?
QH
ну да, конец немного предсказуем
AO
Ну дык а как иначе его там отличать от вложенного типа?
Эио все должно быть известно на этапе компиляции
QH
если с массивами ещё можно поспорить, то с листами уже всё мутно
AO
Короче есть хороший пример реализации - haskell и плохие - scala и kotlin
AO
В скалке из-за бага компилятора получалось таки сделать синтетические newtype
AO
В котлине же это совсем не возможно
QH
В скале же reified generics?
AO
В скале же reified generics?
Разверни пожалуйста мысль
AM
Разверни пожалуйста мысль
Ну, в рантайме типовые параметры дженериков стрюираются или их можно сохранить?
QH
Разверни пожалуйста мысль
Скала не специализирует generic-классы для конкретных значений типовых параметров?
AO
Скала не специализирует generic-классы для конкретных значений типовых параметров?
Специализация через аннотации есть, но newtype про другое. Можно условно сделать
List[UserId] всегда сотрётся до int и ты не сможешь пихнуть в этот List просто int, потому что для компилятора это разные типы
newtype UserId = Int
List[UserId] всегда сотрётся до int и ты не сможешь пихнуть в этот List просто int, потому что для компилятора это разные типы
AO
А простые value type уже сделают настоящие обертки
AO
Ну, в рантайме типовые параметры дженериков стрюираются или их можно сохранить?
Впринципе можно попросить компилятор сгенерировать описание типа, которое потом можно использовать в рантайме
AO
А так да дженерики так же как и везде стираются
QH
Специализация через аннотации есть, но newtype про другое. Можно условно сделать
List[UserId] всегда сотрётся до int и ты не сможешь пихнуть в этот List просто int, потому что для компилятора это разные типы
newtype UserId = Int
List[UserId] всегда сотрётся до int и ты не сможешь пихнуть в этот List просто int, потому что для компилятора это разные типы
и что будет, если скастить
List[UserId] к List[Int] или отфильтровать по типу?AO
Ну каст это ты условно посылаешь нахер компилятор. А фильтр по типу, ну тут тоже надо понимать что это рантайм проверки, а ньютайп это только уровень компиляции