Vercel Just Proposed a TypeScript-Inspired Upgrade to Python's Type System

Vercel engineers spent a year building PEP 827 — a proposal that could give Python the programmable type system TypeScript developers have always taken for granted.

TechLife

When installing dependencies, formatting code, linting it, type-checking it, and building docs with #Poetry or #PDM, #Black, #Flake8, #Mypy and #MkDocs would previously take from 2min to several more, it now takes less than 15 seconds for the whole thing, thanks to #uv, #Ruff, #ty and #Zensical.

This is for 5 #Python versions (3.10 to 3.15).

The DX got much better 🥰

Is there any way linter/type checker for #Python that can find expressions that never will evaluate to anything other than False based on the type information? E.g. checking if a variable of the type `int` exists within a list of the type `list[str]`? I do use #mypy but it doesn't seem to catch this.

Git-хуки, которые не дают коммитить плохой код

Здравствуйте, коллеги программисты! Большинство фейлов в CI — это мелочи: забытый console.log , форматирование, линт, сломанный импорт, файл без теста. Такие ошибки не должны доезжать до сборки или код-ревью. Git-хуки позволяют запускать проверки прямо во время git commit и блокировать коммит, если были обнаружены нарушения. В прошлой статье я рассказывал про скрипты, которые я использую для проверки качества кода в PHP/Laravel. В этой статье я хочу рассказать о скриптах для JavaScript/TypeScript и Python — линтинг, форматирование, тесты, статический анализ и проверка наличия тестов. Все скрипты описанные в статье находятся здесь - https://github.com/prog-time/git-hooks

https://habr.com/ru/articles/993870/

#линтер #git_hooks #javascript #python #eslint #prettier #tsc #vitest #mypy #pytest

GitHub - prog-time/git-hooks: Useful shell scripts for git hooks

Useful shell scripts for git hooks. Contribute to prog-time/git-hooks development by creating an account on GitHub.

GitHub

The only criticism I have of types in Python:

Python is a really good dynamically typed language. Since classes are themselves instances of a class-describing object, you can do what other languages have to do with text-transforming macros by just treating the class as mutable and dynamically adding things like methods.

... and then the type system kicks your ass for doing that, so you're left with a few not-great options.

#python #mypy

[Mypy에서 Ty로: Ruff 제작사가 만든 초고속 Rust 기반 Python 타입 체커 도입 가이드

Astral사는 새로운 Rust 기반 Python 타입 체커인 'ty'를 출시했습니다. 이 도구는 Mypy의 엄격 모드와 유사한 기능을 제공하며, 빠른 실행 속도를 자랑합니다. 설치 및 사용 방법, GitHub Actions와의 통합 방법, 그리고 커뮤니티 기반의 pre-commit 워크어라운드에 대한 가이드가 제공되었습니다.

https://news.hada.io/topic?id=25713

#python #typechecking #rust #ty #mypy

Mypy에서 Ty로: Ruff 제작사가 만든 초고속 Rust 기반 Python 타입 체커 도입 가이드

<p>요약:</p> <ul> <li>Astral(Ruff 제작사)에서 공개한 Rust 기반의 새로운 Python 타입 체커 'ty'의 도입 및 마이그레이션 방법을 다룹니다.</li...

GeekNews

Январский рефакторинг: 7 дней, чтобы почистить Python веб‑проект

Январь - самое удобное время разобрать завалы в проекте. Пол‑команды ещё в отпусках, pull‑реквестов меньше, product owner'ы только вспоминают, что планировали делать в этом году - можно спокойно пройтись по коду и навести порядок. В этой статье пойдёт речь о нескольких косметических действиях, которые, с одной стороны, почти не затрагивают логику программы и не вызывают ненависти у тестировщиков, а с другой - делают код чуть приятнее и дают темы для обсуждения на бэкенд‑созвонах. Мы разложим импорты, перенесём логику из роутов в контроллеры, а из контроллеров - в репозитории и сервисы, избавимся от requirements.txt в пользу нормального менеджера зависимостей и включим mypy.

https://habr.com/ru/articles/983172/

#python #backend #refactoring #architecture #linter #mypy #litestar

Январский рефакторинг: 7 дней, чтобы почистить Python веб‑проект

Январь - самое удобное время разобрать завалы в проекте. Пол‑команды ещё в отпусках, pull‑реквестов меньше, product owner'ы только вспоминают, что планировали делать в этом году - можно спокойно...

Хабр

I think that my Python code editor is ready for 2026!

Using Flycheck and happy about how simple it was to add a custom syntax checker. 👏

I've configured my Emacs to auto-switch between flake8 or ruff, and mypy or the brand new type checker "ty" depending on what's in the local environment.

Pull request to my emacs configuration with details about the implementation:
https://github.com/DavidVujic/my-emacs-config/pull/23/changes

#python #emacs #mypy #flake8 #ruff #ty #elisp #flycheck

With high-performance #Python type checkers like #Pyright, #Pyrefly, and #ty now available, what's the value proposition of #Mypy? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

ty: революция в тайп-чекинге

Всем привет! За последние пару лет компания Astral буквально разрывает Python-мир своими инструментами. Даже если вы не слышали это имя напрямую, с большой вероятностью вы уже пользовались их продуктами — ruff или uv . И это не преувеличение. И ruff , и uv сегодня фактически стали стандартом индустрии. Например, в свежем релизе PyCharm 2025.3 при создании нового проекта по умолчанию инициализируется именно окружение uv , а не привычный venv . Для open source-проекта — это очень серьёзный показатель доверия со стороны экосистемы. Открытый исходный код и массовое принятие инструментов Python-разработчиками дали Astral тот самый «кредит доверия», который компания, судя по всему, пока что уверенно оправдывает. И вот буквально на днях Astral объявили, что их новый «революционный» тайп-чекер ty переходит в стадию бета-тестирования. А если учитывать, что и uv , и ruff формально тоже всё ещё находятся в бете, то можно считать, что ty уже фактически вышел в релиз. Собственно, о нём и поговорим дальше. Если вам интересны подобные материалы — подписывайтесь на Telegram-канал «Код на салфетке» . Там я делюсь гайдами для новичков и полезными инструментами. А прямо сейчас у нас ещё и проходит новогодний розыгрыш.

https://habr.com/ru/articles/979752/

#uv #ruff #ty #mypy #type_checking #python #rust #astral

ty: революция в тайп-чекинге

Всем привет! За последние пару лет компания Astral буквально разрывает Python-мир своими инструментами. Даже если вы не слышали это имя напрямую, с большой вероятностью вы уже пользовались их...

Хабр