н
не знаю что у тебя там не выражается
Size: a a a
2020 November 16
н
но это горка флатмапов
A
у горки флатмапов сложность вывода типов растет по экспоненте от высоты горки
тут же сложность остается линейной
тут же сложность остается линейной
н
какая большая проблема
н
помереть можно
н
для этого обязательно надо написать отдельный компилятор
A
помереть можно
Экспонента же
На достаточно большой глубине вложенности можно и помереть
На достаточно большой глубине вложенности можно и помереть
н
нет там какой-то большой сложности для тайпчекера
н
все типы на виду
н
это не хиндли-милнер чтобы там хоть чему-то было тормозить
A
Это если сам поставишь тип выражения, а если var поставить, то в выводе типов с горкой флатмапов количество проверяемых перегрузок начнет умножаться
н
там полторы перегрузки
н
как начнет так и закончит
н
будто линейно те же самые перегрузки проверять не надо
н
разницы линейно/рекурсивно нет вообще для тайпчекера, он с начала выражения начинает, а не с конца
G
А в дотнет фреймворке можно рекорды юзать?
типы нужные докинуть и заработает, может уже даже нугет какой готовый есть
VZ
Golphyn
типы нужные докинуть и заработает, может уже даже нугет какой готовый есть
G
L
блин, я все не могу никак привыкнуть к собеседованиям в разных часовых поясах и иногда пишу такой эйчару а вы где, а они "чел..."
Так аппоинтмент в гугл календаре или аутлуке в правильной тз отображается
ыы
Так аппоинтмент в гугл календаре или аутлуке в правильной тз отображается
Ну я рад за него, не все себя такими вещами утруждают