python: 3.13.py – (TypeIs, ReadOnly, deprecated)

Author: makelinux

python/3.13.py

@@ -0,0 +1,37 @@
+#!/usr/bin/env python3.13
+
+# https://docs.python.org/3.13/whatsnew/3.13.html
+
+from passed import passed
+
+import typing as _typing
+from warnings import deprecated, catch_warnings, simplefilter
+from typing import TypeIs, ReadOnly, TypedDict
+
+
+# PEP 742: typing.TypeIs for intuitive type narrowing
+def is_str(value: object) -> TypeIs[str]:
+    return isinstance(value, str)
+
+
+unknown: object = "hello"
+if is_str(unknown):
+    assert unknown.upper() == "HELLO"
+
+
+# PEP 705: typing.ReadOnly for immutable fields in TypedDict
+class Config(TypedDict):
+    env: ReadOnly[str]
+
+
+cfg: Config = {"env": "production"}
+assert cfg["env"] == "production"
+
+
+# PEP 702: deprecation decorator – pick from typing or warnings; fallback to no-op
+@deprecated("use 'new_api' instead")
+def old_api() -> int:
+    return 1
+
+
+passed()

python/Makefile

@@ -18,3 +18,4 @@ all:
 	./3.10.py
 	./3.11.py
 	./3.12.py
+	./3.13.py

python/README.md

@@ -1,7 +1,7 @@
 # Python features examples by releases
 
 ## [2.0 - 2.3](2.3.py), [2.4](2.4.py), [2.5](2.5.py), [2.6](2.6.py), [2.7](2.7.py)
-## [3.0](3.0.py), [3.1](3.1.py), [3.2](3.2.py), [3.3](3.3.py), [3.4](3.4.py), [3.5](3.5.py), [3.6](3.6.py), [3.7](3.7.py), [3.8](3.8.py), [3.9](3.9.py), [3.10](3.10.py), [3.11](3.11.py), [3.12](3.12.py)
+## [3.0](3.0.py), [3.1](3.1.py), [3.2](3.2.py), [3.3](3.3.py), [3.4](3.4.py), [3.5](3.5.py), [3.6](3.6.py), [3.7](3.7.py), [3.8](3.8.py), [3.9](3.9.py), [3.10](3.10.py), [3.11](3.11.py), [3.12](3.12.py), [3.13](3.13.py)
 
 ## Features
 * Minimal and practical self descriptive as possible source code.