It sounds like you need a language that supports stronger types and concurrency.

There are many good programming languages that might work if neither Go nor Typescript individually would meet your needs.

I recommend examining the following to see if they would work better for you:

Ada: https://learn.adacore.com/courses/intro-to-ada/index.html

Elixir: https://elixir-lang.org/

Java: https://docs.oracle.com/javase/tutorial/

Rust: https://doc.rust-lang.org/book/

All of them have excellent support for concurrency and strong typing to various degrees that help you to write complex logic quickly.