Rule to enforce strongly typed variables

Summary of the new feature

Would be nice is PSSA could add a rule that makes sure variables are strongly typed.

Should be an optional rule, disabled by default, to not break with PowerShell default behavior. But for projects where you want high code quality, readability, and the added safety that explicit types can add, it'd be nice with a lint rule to enforce it.

I'm looking into learning Python, and got inspired by tools like:

• mypy: https://mypy-lang.org/, https://github.com/python/mypy
• pylyzer: https://github.com/mtshiba/pylyzer
• ty by Astral: https://docs.astral.sh/ty/, https://github.com/astral-sh/ty, https://github.com/astral-sh/ty-vscode

Proposed technical implementation details (optional)

• Error or warn when no type is used, or generic types like [object], [array] and [int].
• Require explicit data types.

What is the latest version of PSScriptAnalyzer at the point of writing

Nenhum arquivo, teste ou ponto de entrada é nomeado. Comece revisando a arquitetura de regras existente do PSScriptAnalyzer e as ferramentas de verificação de tipos vinculadas; em seguida, defina os casos de tipos compatíveis, os diagnósticos, a configuração e os testes necessários para uma regra opcional desabilitada por padrão.