在Python中，可以使用類型注解來檢查代碼的靜態類型。具體來說，可以使用類型提示來給變量、函數參數和返回值等添加類型注解，然后使用靜態類型檢查工具來檢查代碼的類型是否正確。
常用的靜態類型檢查工具包括：
mypy：一個強大的靜態類型檢查工具，可以幫助檢查代碼中的類型錯誤，并提供詳細的錯誤信息和建議。
PyCharm：一個流行的Python集成開發環境，提供了對類型提示和類型檢查的支持，可以幫助檢查代碼中的類型錯誤。
Pyright：一個輕量級的靜態類型檢查工具，可以快速檢查代碼中的類型錯誤。
使用這些工具可以幫助提高代碼的質量和可維護性，減少類型相關的錯誤。
