Semantic analysis ,also context sensitive analysis,is a process in complier construction,usually after parsing,to gather necessary semantic information from source code.It usually includes Type checking,or make sure a variable is declared before use which is impossible to detect in parsing
Theory
implementation
- Haskell:usually with the help of Monad (functional programming) and applicative functor