DP
тем что тебе везде придется менять типы
Size: a a a
2020 December 21
DP
(очевидно же)
DP
в случае рефакторинга. в том числе на начальном этапе написание программы
DP
мы говорим о какой-то гипотетической системе типов? может в гипотетической все будет прекрасно - но я с ней не знаком, а примеров нормального репл в статике не видел
VL
тем что тебе везде придется менять типы
а если хранить скажем всю информацию о всех вызовах функций
DP
поясни мысль. где хранить и зачем? и для чего?
VL
условный интерпретатор сказал бы что переопределяя такую-то функцию, ты инвалидируешь код здесь и здесь
VL
поясни мысль. где хранить и зачем? и для чего?
ну в репле
VL
в образе
DP
окей, допустим мы храним. я так понимаю в виде истории или как? что нам это дает?
DP
чтобы интерпретатор сказал - ему нужно проверить весь мир, все с чем ты там можешь потенциально взаимодействовать. даже если предположить что это возможно (что не факт, кстати), то как минимум будет ресурсозатратно
VL
во
VL
я об этом
VL
возможно, но ресурсозатратно
VL
ну просто sbcl например как-то чекает если ты меняешь количество аргументов в функции
DP
еще пример, чисто навскидку. у тебя есть объект супер динамичной природы - какой-нибудь комбайн. он принимает _пользовательские_ функции, то есть прилететь может что угодно вообще, из файла, по сети, как угодно короче
VL
я думал добавить похожий чек и на типы
DP
что ты будешь выполнять заранее неизвестно. в том числе можешь выполнить какой-нибудь код, который будет создавать новые функции, объекты и взаимодействие между ними
DP
все это чекнуть будет тупо нереально
DP
в sbcl есть частичный вывод типов