Media Summary: HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... 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 infer the type of anonymous functions (lambdas) in HM type inference Textbook:
The Value Restriction Ocaml Programming Chapter 9 Video 49 - Detailed Analysis & Overview
HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... 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 infer the type of anonymous functions (lambdas) in HM type inference Textbook: Achieving polymorphism for `let` expressions in HM type inference leads to "type schemes", which universally quantify over type ... Small- and big-step evaluation relations are themselves related: the big-step is an abstraction of the small-step Textbook: ... The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...
Defining module types with signatures Textbook: How to handle exceptions with `try` and pattern matching. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... How to make variants be recursive, and how to parameterize them on other types. Textbook: How to implement a function that counts up with every invocation, using references Textbook: Application of functions to "too few" of arguments, and syntactic sugar. Textbook:
Proof by induction of correctness of a function that computes the summation of an integer sequence Textbook: ... You are the IT administrator for a small corporate network. You need to configure a password policy for the domain on the CorpDC ... The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ...
