Категорически не хватает ссылки на упомянутое выступление, где автор скрещивает Django с Pydantic. Не понятно же из-за чего весь сыр-бор. Гугл тоже не признаётся, хотя возможно я плохо спрашивал.
Пайчарм молодцы, они много чего такого умеют. К сожалению, что сделано в пайчарме, остаётся в пайчарме, и не может быть переиспользовано, например, в CI или пользователями других редакторов, поэтому я не склонен считать его за полноценный тайп чекер (не умаляю его заслуг, он хорош, но не универсален). Универсальные IDE-agnostic тайп чекеры, типа mypy, pyre или pyright, никогда не умели работать с докстрингами. Да им и не надо, ведь есть отдельный, стандартизованный синтаксис для аннотаций. Теперь эта фича пайчарма выглядит скорее как рудимент.
О реальной статической типизации речь, разумеется, не идет. Все, что у нас есть - это аннотация типов, которая была возможна с самого начала через docstrings и чекеры работали. Я не очень понимаю, почему этот вариант не устраивал, когда смысл тот же.
Не видел, чтобы тайп чекеры могли брать типы из докстрингов. Это какой из анализаторов такое умеет?
А вот здесь (PEP 3107) есть ответ по поводу "не понимаю зачем тайп аннотациям отдельный синтаксис". Это просто способ стандартизировать тот зоопарк решений, который был придуман сообществом для решения проблемы приделывания типов к функциям. There should be one-- and preferably only one --obvious way to do it.
Категорически не хватает ссылки на упомянутое выступление, где автор скрещивает Django с Pydantic. Не понятно же из-за чего весь сыр-бор. Гугл тоже не признаётся, хотя возможно я плохо спрашивал.
Пайчарм молодцы, они много чего такого умеют. К сожалению, что сделано в пайчарме, остаётся в пайчарме, и не может быть переиспользовано, например, в CI или пользователями других редакторов, поэтому я не склонен считать его за полноценный тайп чекер (не умаляю его заслуг, он хорош, но не универсален). Универсальные IDE-agnostic тайп чекеры, типа
mypy,pyreилиpyright, никогда не умели работать с докстрингами. Да им и не надо, ведь есть отдельный, стандартизованный синтаксис для аннотаций. Теперь эта фича пайчарма выглядит скорее как рудимент.Не видел, чтобы тайп чекеры могли брать типы из докстрингов. Это какой из анализаторов такое умеет?
Возможно, вы имели ввиду тайп аннотации через комментарии, как это делалось в Python 2 за неимением лучших альтернатив?
А вот здесь (PEP 3107) есть ответ по поводу "не понимаю зачем тайп аннотациям отдельный синтаксис". Это просто способ стандартизировать тот зоопарк решений, который был придуман сообществом для решения проблемы приделывания типов к функциям. There should be one-- and preferably only one --obvious way to do it.