Lexical Vs Dynamic Scope Ocaml Programming Chapter 9 Video 28

Lexical and dynamic scope

Lexical scoping

... how to do

A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables.

How to evaluate a core fragment of

Lecture 6 semantic analysis drive link ...

The environment-model semantics of functions requires careful attention to

So

How `let` expressions create

This

Unlocking JavaScript:

How to define the substitution operation for simple expressions, including `if`

In this

Bringing module definitions into

Achieving polymorphism for `let` expressions in HM type inference leads to "type schemes", which universally quantify over type ...

The basics of

00:00 - Explaining