A Coding Implementation on Pyright Kind Checking Masking Generics, Protocols, Strict Mode, Kind Narrowing, and Fashionable Python Typing

print("=" * 62)
print("SECTION 9 · pyrightconfig.json")
print("=" * 62)


config = {
   "embody": ["src"],
   "exclude": ["**/__pycache__"],
   "pythonVersion": "3.11",
   "typeCheckingMode": "strict",
   "reportMissingImports": "error",
   "reportMissingTypeStubs": "warning",
   "reportUnknownVariableType": "warning",
   "reportUnknownMemberType": "warning",
   "reportUnnecessaryTypeIgnoreComment": "warning",
}
cfg_path = os.path.be a part of(WORK, "pyrightconfig.json")
with open(cfg_path, "w") as f:
   json.dump(config, f, indent=2)
print(f"Written: {cfg_path}")
print(json.dumps(config, indent=2))
print()


print("=" * 62)
print("SECTION 10 · Self, TypeAlias, NewType")
print("=" * 62)


write("s10_modern_types.py", """
   from typing import Self, TypeAlias, NewType


   class Question:
       def __init__(self) -> None:
           self._filters: record[str] = []


       def the place(self, cond: str) -> Self:
           self._filters.append(cond)
           return self


       def construct(self) -> str:
           return " AND ".be a part of(self._filters)


   class AdvancedQuery(Question):
       def order_by(self, col: str) -> Self:
           return self


   q = AdvancedQuery().the place("age > 18").order_by("identify")
   reveal_type(q)


   Vector: TypeAlias = record[float]
   Matrix: TypeAlias = record[Vector]


   def dot(a: Vector, b: Vector) -> float:
       return sum(x * y for x, y in zip(a, b))


   v1: Vector = [1.0, 2.0, 3.0]
   v2: Vector = [4.0, 5.0, 6.0]
   dot(v1, v2)
   dot(v1, [1, 2, 3])


   UserId   = NewType("UserId", int)
   OrderId  = NewType("OrderId", int)


   def get_user(uid: UserId) -> str:
       return f"user_{uid}"


   uid = UserId(42)
   oid = OrderId(99)


   get_user(uid)
   get_user(oid)
   get_user(42)
""")


print("→ s10_modern_types.py:")
run_pyright("s10_modern_types.py")


print("=" * 62)
print("SECTION 11 · reveal_type() & sort: ignore")
print("=" * 62)


write("s11_reveal_ignore.py", """
   from typing import Any


   values = [1, "two", 3.0]
   reveal_type(values)


   def thriller(x: Any) -> Any:
       return x


   r = thriller(42)
   reveal_type(r)


   unhealthy: int = "oops"
   bad2: int = "additionally unhealthy"  # sort: ignore[assignment]
""")


print("→ s11_reveal_ignore.py:")
run_pyright("s11_reveal_ignore.py")


print("=" * 62)
print("TUTORIAL COMPLETE")
print("=" * 62)
print("""
Matters coated
──────────────
1  Primary annotations & inference
2  Non-compulsory / Union / PEP 604 syntax
3  Kind narrowing (isinstance, guards, TypeGuard, match)
4  Generics — TypeVar, Generic, ParamSpec
5  Protocols & structural subtyping
6  TypedDict, dataclasses, NamedTuple
7  Literal, Last, @overload
8  Strict mode
9  pyrightconfig.json
10  Self, TypeAlias, NewType
11  reveal_type() & sort: ignore


All supply recordsdata written to: /tmp/pyright_tutorial/
""")