gо
Ты не доказал ничего
Size: a a a
2021 May 29
p
Да, как и все, что попадает в прод
p
Так что не аргумент)
gо
То, что попадает в прод — фигня, образованная обстоятельствами, кривенькая, но подходящая под юзкейс
p
Как это ничего
p
if x > 20 then do
// здесь доказано что x > 20
// здесь доказано что x > 20
H
flow-sensitive typing называется
gо
У тебя свойства
> один фиг захардкоженныgо
Потому что вообще-то тут не доказано, что
20 > 15p
Только до этого эта информация использовалась исключительно для оптимизаций а не для выноса на тайплевел
gо
У твоего силлогизма «
x > y > z => x > z & x > 20 => x > 15» на самом деле не хватает входных данныхH
в TypeScript она на тайп левеле
gо
Ноп, так много кто умеет
p
Можно доказать, выполнив это выражение
gо
mypy, TypeScript
p
Так как оба терма значения
gо
И теперь ты упираешься в аксиому Эскобара
gо
Либо ты разрешаешь выполнять произвольные вычисления на тайп-левеле и у тебя очень медленный компилятор
gо
Либо не разрешаешь, и у тебя половина языка на тайп-левеле не работает
p
Конечно этот вариант