> miss languages with better type checking.
What about python type hints?
With microframeworks it's easier as you can structure your project as you like add more layers of abstraction so it's not that tightly coupled. Fe. sqlalchemy -> pydantic schema.
A. python with type hints
and
B. Typescript, or a statically typed language such as Rust/Java
? I'm guessing not.