mypy change

Author: Feolius

_posts/2026-02-05-mypy-vs-phpstan-ru.markdown

@@ -1,13 +1,13 @@
 ---
 layout: post
 title:  "Mypy vs Phpstan: битва стат анализаторов"
-date:   2026-02-05
+date:   2026-02-18
 categories: ru
 tags: "python php mypy phpstan"
 ---
 
 ## Дисклеймер
-Все сказанное ниже валидно для mypy 1.19.1 и phpstan 2.1.37. 
+Все сказанное ниже валидно для mypy 1.19.1 (дефолтный конфиг) и phpstan 2.1.37 (level: 10). 
 
 ## Что происходит?
 Я собираюсь сравнить два статических анализатора, mypy и phpstan, с точки зрения качества выполнения
@@ -18,7 +18,7 @@ tags: "python php mypy phpstan"
 Однако беда этого сравнения в том, что оно
 априори некорректно, потому что эти два инструмента используются в двух разных языках
 программирования: mypy в python, а phpstan в php. И, получается, они даже не конкуренты.
-Но давайте я все же попробую оправдаться, и пояснить за эту дерзость.
+Но давайте я все же попробую оправдаться, и пояснить за этот наброс.
 
 Во-первых, это оба си-подобные языки, у которых схожая система примитивных типов. И они даже оба
 null-safety.
@@ -34,7 +34,7 @@ len(a)
 a = 5
 pow(a, 4)
 ```
-валидный, хоть тип переменной и меняется в рантайме.
+валидный. Хотя тип переменной меняется в рантайме.
 
 В-третьих, оба языка используют специальные синтаксические конструкции для уточнения типов переменных, 
 которые исчезают в рантайме. Они позволяют статическому анализатору и IDE разобраться, в чем
@@ -61,8 +61,7 @@ php и python. И я бы даже не взялся писать подобно
 или еще где-то.
 Здесь же у меня опыт использования двух самых популярных стат анализаторов (по звездочкам на гитхабе) для каждого из языков.
 
-Теперь, когда сова полностью на глобусе, можно переходить к сути. И я буду двигаться от менее
-важных, на мой взгляд, кейсов к более фундаментальным.
+Теперь, когда сова полностью на глобусе, можно переходить к сути.
 
 ## Енумы и литералы
 
@@ -137,7 +136,7 @@ def accept_enum_return_foo_bar(enum: FooBarBaz) -> FooBarValue:
 
 Таким образом, для каждого подмножества значений енумов нам придется отдельно прописывать новый
 тип с литералами, что не улучшает настроение. Конечно я не один такой страдающий тут.
-Фича [реквест](https://github.com/python/typing/issues/781) висит уже 5 лет. Но увы.
+[Фича-реквест](https://github.com/python/typing/issues/781) висит уже 5 лет. Но увы.
 
 ## Literal Widening
 
@@ -423,10 +422,10 @@ function returnOptInt(): ?int
 поведение аналогичное mypy.
 
 В отличие от phpstan разработчики mypy на просьбу добавить возможность маркировать функции чистыми ответили, что
-это [сложно](https://github.com/python/mypy/issues/4468). Может и так. Но разработчикам от этого не легче.
+это [сложно](https://github.com/python/mypy/issues/4468). Может и так. Но от этого не легче.
 
 ## Вывод
-Невозможно переоценить значимость статического анализатора для языков вроде php и python. В наши написать
+Невозможно переоценить значимость статического анализатора для языков вроде php и python. В наши дни написать
 код, лишенный ошибок, без строгой типизации --- что-то из разряда чудес. По крайней мере, в относительно крупных 
 проектах. Поэтому за последние
 10 лет статические анализаторы так прочно вошли в тулсет всех разработчиков.