SP
статика это если до рантайма
mypy чекает код до рантайма
ts чекает код до рантайма
Size: a a a
2020 May 23
SP
как в пыхе не знаю но возможно какието выводы по типам можно сделать тоже до рантайма
AR
это статический анализ какой-то уже
SP
что и есть статика
SP
не надо путать статическую типизацию и компилируемость
AI
mypy чекает код до рантайма
ts чекает код до рантайма
ts чекает код до рантайма
пхп не чекает код до рантайма
AR
это как на го сделать проверку на избыточность case статическим анализом
AR
может формально это и статика, но сильно не помогает
DS
вот нанимал недавно чувака, он выбрал го вместо раста т.к. учить раст было чутка дольше, а на он через неделю в ембеддед (sic!) прод деплоил
эмбедед - это небось IoT на полноценных АРМ у него?
SP
пхп не чекает код до рантайма
ладно. если я в иде сделаю find all references по классу это будет работать? если будет то статика
AR
эмбедед - это небось IoT на полноценных АРМ у него?
телефония
AR
ну да, армы там
DS
ну да, армы там
Ну тогда не так страшно
AR
если бы там были микроконтроллеры, то го бы не влез
DS
если бы там были микроконтроллеры, то го бы не влез
Я вот и удивился вначале, потом что-то вспомнил, что сейчас любой арм микрокомп считают эмбеддом
DS
Типа пишки
AI
ладно. если я в иде сделаю find all references по классу это будет работать? если будет то статика
если я не буду динамически собирать класс то да.
AR
но по ресурсам там все равно довольно сложно, и ограничений куча, это же все таки отдельное устройство, которое ты особо не контроллуешь, которое у заказчика за файрволом лежит
SP
в микроконтроллерах тоже арм