81

Pyright can check exhaustiveness of match statements on unions(lemmy.sdf.org)

posted
by
Avatar
mao@lemmy.sdf.org
in
Avatar
python@programming.dev
11 comments
hidereport

Twitter user @DanyX23:

TIL: pyright, the python type checking engine that is used by VS Code, has support for exhaustiveness checking for match statements with union types!

If you add the following to your pyproject.toml, you’ll get the attached warning

[tool.pyright] reportMatchNotExhaustive = true

Sort:
HotTopControversialNewOld
You are viewing a single thread.
View all comments View context
Avatar
mao@lemmy.sdf.orgOP
0 points

I feel like Python is coming to its senses in the recent years, with releases focusing on typing constructs and the match statement. I think they’re on the path to be a great statically typed language, don’t you think?

permalink
report
parent
reply

Python

!python@programming.dev

Create post

Welcome to the Python community on the programming.dev Lemmy instance!

📅 Events
October 2023
November 2023
Past

July 2023

August 2023

September 2023

🐍 Python project:
💓 Python Community:
✨ Python Ecosystem:
🌌 Fediverse
Communities
Projects
  • Pythörhead: a Python library for interacting with Lemmy
  • Plemmy: a Python package for accessing the Lemmy API
  • pylemmy pylemmy enables simple access to Lemmy’s API with Python
  • mastodon.py, a Python wrapper for the Mastodon API
Feeds

Community stats

  • 505

    Monthly active users

  • 396

    Posts

  • 1.9K

    Comments

Community moderators