こちらの記事では、Pyrightを用いた型の特定技術「type narrowing」を紹介しています。型チェッカーによる型の絞り込み、型ガードの利用方法などを取り上げています。これにより、プログラマはコードの安全性と効率を向上させることができます。

Pyrightの静的型付け：上級者向け解説

こちらの記事では、Pythonにおける型推論のプロセスについて紹介しています。シンボルとスコープの概念や型宣言の方法、型推論の機構などについて詳細に解説しています。