add python typing tools

Author: copdips

docs/posts/2025/2025-02-01-python-type-hints.md

@@ -3,21 +3,29 @@ authors:
 - copdips
 categories:
 - python
+- linter
 comments: true
 date:
   created: 2025-02-01
+  updated: 2025-06-28
 ---
 
 # Python Type Hints
 
+Python is a dynamically typed language, meaning variable types don't require explicit declaration. However, as projects grow in complexity, type annotations become increasingly valuable for code maintainability and clarity.
+
+Type hints have been a major focus of recent Python releases, and I was particularly intrigued when I heard about [Guido van Rossum's work on MyPy at Dropbox](https://blog.dropbox.com/topics/company/thank-you--guido), where the team needed robust tooling to migrate their codebase from Python 2 to Python 3.
+
+Today, type hints are essential for modern Python development. They significantly enhance IDE capabilities and AI-powered development tools by providing better code completion, static analysis, and error detection. This mirrors the evolution we've seen with TypeScript's adoption over traditional JavaScript—explicit typing leads to more reliable and maintainable code.
+
+<!-- more -->
+
 ## typing module vs collections module
 
 Since Python 3.9, most of types in `typing` module is [deprecated](https://docs.python.org/3/library/typing.html#deprecated-aliases), and `collections` module is recommended.
 
 Some types like: `typing.Any`, `typing.Generic`, `typing.TypeVar`, etc. are still not deprecated.
 
-<!-- more -->
-
 ### Aliases to Built-in Types
 
 | Deprecated Alias   | Replacement |
@@ -117,4 +125,37 @@ Some types like: `typing.Any`, `typing.Generic`, `typing.TypeVar`, etc. are stil
 
 !!! note "(Python 3.9+) Both `typing.Sequence` and `typing.Collection` are [deprecated aliases](#typing-module-vs-collections-module)."
 
-## To be continued
+## Typing tools
+
+### MyPy
+
+Ref. MyPy in [this post](../2021/2021-01-04-python-lint-and-format.md#mypy).
+
+### Pyright && Pylance
+
+Ref. Pyright in [this post](../2021/2021-01-04-python-lint-and-format.md#pyright).
+
+[Pylance](https://github.com/microsoft/pylance-release#readme) is the Microsoft backed Pyright extension for VSCode.
+
+### RightTyper
+
+During an internal tech demo at my working, I heard about [RightTyper](https://github.com/RightTyper/RightTyper), a Python tool that generates type annotations for function arguments and return values.
+It’s important to note that RightTyper doesn’t statically parse your Python files to add types; instead, it needs to run your code to detect types on the fly. So, one of the best ways to use RightTyper is with python `-m pytest`, assuming you have good test coverage.
+
+### ty
+
+[ty](https://github.com/astral-sh/ty) represents the next generation of Python type checking tools. Developed by the team behind the popular [ruff](https://docs.astral.sh/ruff/) linter, ty is implemented in Rust for exceptional performance.
+It functions both as a type checker and language server, offering seamless integration through its dedicated [VSCode extension ty-vscode](https://github.com/astral-sh/ty-vscode).
+
+While Ruff excels at various aspects of Python linting, type checking remains outside its scope.
+ty aims to fill this gap, though it's currently in preview and still evolving toward production readiness.
+The combination of Ruff and ty promises to provide a comprehensive Python code quality toolkit.
+
+### pyrefly
+
+[pyrefly](https://pyrefly.org/) emerges as another promising entrant in the Python type checking landscape.
+Developed by Meta and also written in Rust, pyrefly offers both type checking capabilities and language server functionality.
+While still in preview, it demonstrates the growing trend of high-performance Python tooling implemented in Rust.
+
+The tool integrates smoothly with modern development environments through its [VSCode extension refly-vscode](https://marketplace.visualstudio.com/items?itemName=meta.pyrefly), making it accessible to a wide range of developers.
+Its backing by Meta suggests potential for robust development and long-term support.