82

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
FizzyOrange@programming.dev
4 points

Python lets you add static type annotations to your program, so you can say “this variable should be and int or a string”, and that means Pyright (a fantastic static type checker) can tell you if you screw up and forget that it might be a string.

permalink
report
parent
reply

Python

!python@programming.dev

Create post

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

📅 Events
Past

November 2023

October 2023

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

  • 709

    Monthly active users

  • 428

    Posts

  • 2.2K

    Comments

Community moderators