> In strongly-typed programming languages, which includes Typescript, figuring out the types is not something that's done after the fact.
Too broad a statement. There's loads of value in having a compiler figure out types for you after/when you write the code.