Equality Of Expressions Ocaml Programming

A notion of "behavioral

let`

How `let`

if-then-else`

HM type inference of `let`

Expressions

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Check out Teej!: https://www.youtube.com/@teej_dv https://twitter.com/teej_dv ...

Equational reasoning provides a basic proof format for correctness proofs about functional programs Textbook: ...

Giving functions names with `let` definitions. Textbook: https://cs3110.github.io/textbook.

How to define the substitution operation for simple

The semantics of `let` uses a notion of substitution, but, how should that be defined? These examples lend intuition. Textbook: ...

Using `let` definitions to bind values to names. Textbook: https://cs3110.github.io/textbook.

A summary of why Jane Street uses

Get Cracked at

Recorded live on twitch, GET IN https://twitch.tv/ThePrimeagen Blog article: ...

Defining the small-step semantics of `let`

The syntax and semantics of ref cells Textbook: https://cs3110.github.io/textbook.