statically-typed
Externum — typed programming language that compiles to readable Python (pipelines, pattern matching, REPL) with Pro Pack tooling
Add static type information into Python abstract syntax trees.
An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
A compiled statically typed multi paradigm general purpose programming language designed for cross platform applications.