Т8
человек в универе учит программирование
Это программирование? А Кнут тогда что?
Size: a a a
2020 June 04
AZ
Т-34 85
Это программирование? А Кнут тогда что?
кнут это алгоритмы, очевидно
Т8
кнут это алгоритмы, очевидно
Так и представляю, приходит Полунин в Гугл, его просят написать квиксорт, а он .css выдаёт
AZ
Т-34 85
Так и представляю, приходит Полунин в Гугл, его просят написать квиксорт, а он .css выдаёт
Так и представляю, приходит Полунин в Гугл, его просят рассказать про селекторы, а он квиксорт выдаёт
T1
Переслано от Tony 123
T1
Переслано от Tony 123
Разве обязательно каждый раз указывать AsyncRead и AsyncWrite для дженериков?
G
но там даже можно сделать exhausive check :)
if(myvar.tag == "A"){} else { throw new UnreachableCaseError(myvar)} там есть тип neverэто в рантайме exhaustiveness checking?
DO
это и в рантайме и в compile time
G
в смысле
G
оно проверяется в рантайме или в в комптайе?
T1
в рантайме же не?
T1
если не в контексте compile time evaluation выполняется
DO
T1
да, в рантайме
DO
typescript умеет "специализировать" тип переменной в зависимости от предыдущих проверок
DO
поэтому оно будет падать в compile-time
T1
а ты имеешь в виду конструктор
T1
тогда пон
G
нет а вот если я не все варианты сопоставил с образом то что будет?
DO
тут два варианта. Т.к. typescript, это всё-таки JS с типами, то в переменную можно засунуть что угодно, поэтому, если там в рантайме окажется какая-то фигня, оно упадёт в рантайме. А вот если ты в compile-time добавишь, к примеру, новый вариант в enum, то упадёт в compile time