Lambdas Ocaml Programming Chapter 2 Video 9

Summary

More about anonymous functions, aka Giving functions names with `let` definitions. Textbook: cs3110.github.io/textbook. The environment-model semantics of functions requires careful attention to scope Textbook: cs3110.github.io/textbook. Unnamed function values. Textbook: cs3110.github.io/textbook. if-then-else` expressions. Textbook: cs3110.github.io/textbook. A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables. A substitution-model semantics for functions requires a notion of how to substitute inside the body of a function. Getting that right is ... MIT 6.100L Introduction to CS and Using `let` definitions to bind values to names. Textbook: cs3110.github.io/textbook. let` expressions Textbook: cs3110.github.io/textbook. Applying functions to arguments. Textbook: cs3110.github.io/textbook. How to define some common operators for function application, including the pipeline operator Textbook: ... Application of functions to "too few" of arguments, and syntactic sugar. Textbook: cs3110.github.io/textbook. An example of how environment-model evaluation works. Substitution-model evaluation is list-; environment-model, tree-.