SP
я правда перешел на pyright
Size: a a a
2020 February 12
SP
статический питон внезапно тоже
SP
как и тс
SP
ты сидел на нульче ?
С
ты сидел на нульче ?
Почти нет. На лоре.
EG
я правда перешел на pyright
Чем он лучше?
SP
Чем он лучше?
они осилили нормальный парсер языка с разрешением в символ а не строку, оно быстрее, не выебывается бесконечно на анфолловед импорт, пишет неиспользуемые импорты. а главная фича - оно умеет find references для метода/класса/функции
SP
но хитроту всякую с дженериками поддерживает хуже
SP
ну и написано на тс
EG
В питоне, кстати, есть ещё вот такой прикол, в котором выразимо, можно считать, вообще всё, но он не статический.
https://github.com/pschanely/CrossHair
https://github.com/pschanely/CrossHair
EG
В нём написано, что он статический, но он не, он запускает код.
SP
надо заценить если это то что я думаю то это огонь конечно
EG
Это, условно, штуковина, которая находит правильные инпуты для тестов.
EG
Плюс проверяет, что pre-conditions у функций всегда выполняются
SP
когда это ты стал статическим питонистом? как поборол то что коллеги ненавидят статический питон? )
SP
противоестественно. боженька создал динамикой
EG
когда это ты стал статическим питонистом? как поборол то что коллеги ненавидят статический питон? )
Как только вообще завезли типизацию. Коллеги со мной согласны.
EG
Использовал mypy, когда это ещё не было мейнстримом.
SP
я вчера с хаскелем поигрался. после божественного скоупинга хаскеля питон какаято двойная боль
DS
Как только вообще завезли типизацию. Коллеги со мной согласны.
А зачем тогда вообще питон?