Semantic analysis (compilers): Difference between revisions

Content deleted Content added
"Impossible to detect when parsing" is ill defined
Remove misleading section on Haskell
Tags: section blanking Visual edit
Line 1:
'''Semantic analysis''', also '''context sensitive analysis''', is a process in [[compiler]] construction, usually after [[parsing]], to gather necessary semantic information from the [[source code]]. It usually includes [[type checking]], or makes sure a variable is declared before use which is impossible to describe in [[Extended Backus–Naur Form]] and thus not easily detected during parsing.
 
==Implementation==
*[[Haskell (programming language)|Haskell]]: usually with the help of [[Monad (functional programming)]] and [[applicative functor]]
 
==See also==