Hacker News Reader

Is "semantic analysis" in the sense you used it similar to "type checking"?

Semantic analysis is a broader term that (for languages with a type checker) includes type checking. https://cs.lmu.edu/~ray/notes/semanticanalysis/