Sounds like you're looking for... Python? It has tools for checking static types (and the language community strongly encourages their use). Pattern matching w

Sounds like you're looking for... Python? It has tools for checking static types (and the language community strongly encourages their use). Pattern matching was added in version 3.10.