Т8
котлин тоже?
Size: a a a
2021 April 27
DS
Нет
TK
Если язык позволяет
Т8
погодь, но там же что-то придумали для дженериков
Т8
насколько я помню
DS
Нет, там не то, там передача метаинфы, чтобы рефлексия работала
DS
Это как скаловский implicit Manifest[T]
KR
То есть типы стираются, но мономорфизации нет, а просто боксинг в any. Теперь понятно. Спасибо.
А в шарпах типы не стираются, и JIT в рантайме с ними развлекается.
А в шарпах типы не стираются, и JIT в рантайме с ними развлекается.
ΑZ
все верно
Т8
если не позволяет, то это ничем не лучше c++?
TK
Вопрос странный
KR
Иерархия чего, типов, или классов типов?
TK
C++ нельзя ни с чем сравнивать, это верно и для большинства языков
Т8
ээ. Типов (подтипов)
ΑZ
А говорили сука программистам математика не нужна
KR
С тайпклассами иерархии типов может не существовать (как в Расте). Так что нет. У тебя в плюсах есть просто класс и всё (по крайней мере в рамках данного нашего разговора), он же задаёт тип, и он же задаёт класс типов (он + наследники). С тайпклассами же типы и их классы не смешиваются (по крайней мере в Расте).
KR
Пытаясь сравнить козла с ослом, мы тут скорее говорим о типах, которые имплементят иерархию тайпклассов
Т8
ну так если ты выбрал путь ФП и охуенной типизации, то нужна (наверное)
ΑZ
тут не фп и байтоебский ассемблер
Т8
для жёсткого байтоёбства и для алгоритмов математика всегда нужна