HEL/TB-Docs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fix(report): Pylance -> Pyright

Browse Source
This commit is contained in:
Louis Heredero
2026-07-15 10:14:23 +02:00
parent 64b8a33c7d
commit cc39119789
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
report/chapters/01_introduction.typ
View File

@@ -21,7 +21,7 @@ While programming languages such as C and Java have long been some of the most p
Python is a very flexible scripting language, used in many fields, from small games, one-off data processing scripts and personal tooling to desktop applications and data processing pipelines. It is simple enough for beginners to easily learn it and play with it but highly expressive and with a rich ecosystem to build complex projects and production software.
One feature of Python that can be both a great benefit for lazy programmers or fast iteration, and a curse for safety and predictability is its use of duck typing. Duck typing is defined as "A programming style which does not look at an object’s type to determine if it has the right interface; instead, the method or attribute is simply called or used"@PythonGlossary, applying the principle "If it looks like a duck and quacks like a duck, it must be a duck.", also known as the duck test.
Additionally, the Python language uses dynamic typing, a design principle allowing users to selectively type values, for example through type hints. These annotations are entirely optional in Python and have no direct runtime effect.#footnote[The only runtime consequence of adding annotations may be additional attributes to access them as strings at runtime] Their goal is to be interpreted by type checkers, like MyPy or Pylance, to verify a program's validity statically.
Additionally, the Python language uses dynamic typing, a design principle allowing users to selectively type values, for example through type hints. These annotations are entirely optional in Python and have no direct runtime effect.#footnote[The only runtime consequence of adding annotations may be additional attributes to access them as strings at runtime] Their goal is to be interpreted by type checkers, like MyPy or Pyright, to verify a program's validity statically.
== Motivation

2
report/plan.typ
View File

@@ -60,7 +60,7 @@ TODO
- structural subtyping with Protocols -> matches duck-typing (https://peps.python.org/pep-0544/)
- Existing type checkers
- MyPy / Pylance
- MyPy / Pyright
- Existing libraries
- Pandera: runtime only, syntax heavy, but quite complete