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

Non vengono indicati file, test o punti di ingresso. Inizia esaminando l’architettura delle regole esistente di PSScriptAnalyzer e gli strumenti collegati per il controllo dei tipi, quindi definisci i casi di tipo supportati, la diagnostica, la configurazione e i test necessari per una regola facoltativa disabilitata per impostazione predefinita.