Thanks for taking the time to reply, and I hope HappyX is able to keep growing!
Here are some examples of the unsoundness in Typescript I was talking about: * <https://francisngo.github.io/blog/understanding-typescript-unsoundness-and-caveats/> * <https://effectivetypescript.com/2021/05/06/unsoundness/> I agree Typescript is a huge improvement over vanilla JS, but it is still very easy to accidentally shoot yourself in the foot. Could you comment a bit more on the issues Nim has on the server? I agree async can be a bit painful to work with (especially around stack traces), but I've found using mummy and subprocesses has been nice to work with. Additionally, the gcsafety that the compiler checks is a fantastic help. And I think Nim does isolation quite well with Araq's <https://github.com/nim-lang/threading>, but I'd be curious to hear your experiences.