Title here 7 Contextual analysis Aspects of contextual analysis Scope checking Type checking Case study: Fun contextual analyser Representing types Representing scopes Programming…