BB
?
в ТСе это пародия на типы. в какой-то степени
Size: a a a
2020 October 28
🦜
а
🦜
ну я чуть застал на крестах типы, но это прям примитивы
🦜
и на паскале, гыгы
SE
В первых 30 страницах рассказывается что-то про теорию типов в контексте ts
Даже слово запомнил одно: номинативные типы
Даже слово запомнил одно: номинативные типы
На https://nauchikus.github.io/typescript-definitive-guide/ хорошая глава "Экскурс в типизацию" про системы типов.
RS
в ТСе это пародия на типы. в какой-то степени
типы в рантайм мне и моему сыну едишан? с:
c
В первых 30 страницах рассказывается что-то про теорию типов в контексте ts
Даже слово запомнил одно: номинативные типы
Даже слово запомнил одно: номинативные типы
номинальные же
BB
типы в рантайм мне и моему сыну едишан? с:
infer R.
c
в ТСе это пародия на типы. в какой-то степени
так то типы в тс тьюринг полные
BB
но в рантайме их нет :(
RS
типы в рантайм мне и моему сыну едишан? с:
ой, метаданные
c
но в рантайме их нет :(
так это не имеет значения
c
в расте типов в рантайме тоже нет
c
как и в плюсах
BB
в шарпе есть, в жабе есть
BB
если мне не изменяет память
c
в шарпе есть, в жабе есть
так это плохо
BB
в пыхе тоже есть типы ) толку от них не очень много только. но вообще это оффтоп
K
в шарпе есть, в жабе есть
только зачем они в рантайме?
c
так это плохо
увеличивает потребляемую память
и замедляет работу программы
и замедляет работу программы