Yes, typescript is my favorite language. There's literally no other language out there that is as expressive and has as strong of a type system as typescript. It is the master of making impossible states unrepresentable through meta programming. Being able to move domain complexity into the type system instead of into the runtime is some of the best ways you can reduce your runtime complexity and defects.

Though .net is my favorite ecosystem, by far. It's first party frameworks are unmatched in performance and developer experience. And its ecosystem is incredibly stable, unlike JavaScript. C# Is unfortunately a much less capable language from a type perspective than typescript though.

If C# got discriminated unions and strings as first class type citizens that would launch it pretty far.

[–] expr@programming.dev 2 points 2 days ago

Umm, there are plenty of languages with a stronger, more expressive type system than Typescript. Like Haskell. And there are languages with an even stronger type system than Haskell (dependently-typed programming languages like Idris). Typescript, while having some small innovations and certainly an improvement over the rather sorry state of OOP type systems, is fairly low on the totem pole as far as type systems go. Also, Typescript's type system is famously not sound.

There's a ton of stuff Typescript simply can't do. Higher-kinded types, GADTs (type narrowing gives you a little bit of their functionality kinda, but misses a lot of stuff), etc... Not to mention that it has a fairly lackluster type inference system.