A. python with type hints
and
B. Typescript, or a statically typed language such as Rust/Java
? I'm guessing not.