I'm pretty new to the semantic analysis concept. In the guide we are calling the binding + type checking semantic analysis. But I'm seeing different names for semantic analysis step in different projects.
For example pyright has separate components for this binding type:
https://github.com/microsoft/pyright/blob/fb56dccde02874f2db2c0bbe64fa76fc469fd690/docs/internals.md#analysis-phases
And mypy calls the binding phase semantic analysis:
https://github.com/python/mypy/wiki/Semantic-Analyzer
I'm curios to know if there's any different between semantic analysis, and binding + type checking.
I'm pretty new to the semantic analysis concept. In the guide we are calling the binding + type checking semantic analysis. But I'm seeing different names for semantic analysis step in different projects.
For example pyright has separate components for this binding type:
https://github.com/microsoft/pyright/blob/fb56dccde02874f2db2c0bbe64fa76fc469fd690/docs/internals.md#analysis-phases
And mypy calls the binding phase semantic analysis:
https://github.com/python/mypy/wiki/Semantic-Analyzer
I'm curios to know if there's any different between semantic analysis, and binding + type checking.