Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... How to define some common operators for function application, including the pipeline operator Textbook: ...

Ocaml Tutorial 17 33 The - Detailed Analysis & Overview

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... How to define some common operators for function application, including the pipeline operator Textbook: ... How to define the substitution operation for simple expressions, including `if` and `let` Textbook: Comparing the difference between `open` and `include` in modules Textbook: My web page: www.imperial.ac.uk/people/n.sadawi.

How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ... Using pattern matching to access the pieces of a variant. Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Functors, which is a funny name for an elegant concept: functions on modules Textbook: HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...

Photo Gallery

OCAML Tutorial 17/33: The OCAML System
OCAML Tutorial 18/33: The String Module in OCAML
Algebraic Data Types | OCaml Programming | Chapter 3 Video 17
Application Operators | OCaml Programming | Chapter 2 Video 17
Definition of Substitution | OCaml Programming | Chapter 9 Video 17
OCAML Tutorial 28/33: Records in OCAML
Include vs Open | OCaml Programming | Chapter 5 Video 16
OCAML Tutorial 3/33: Basic OCAML Expressions and Operations
OCAML Tutorial 29/33: OCAML Unions
Implementing Let in the Calculator | OCaml Programming | Chapter 9 Video 18
Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14
An ADT for Pokemon | OCaml Programming | Chapter 3 Video 18
Sponsored
Sponsored
View Detailed Profile
OCAML Tutorial 17/33: The OCAML System

OCAML Tutorial 17/33: The OCAML System

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

OCAML Tutorial 18/33: The String Module in OCAML

OCAML Tutorial 18/33: The String Module in OCAML

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

Sponsored
Algebraic Data Types | OCaml Programming | Chapter 3 Video 17

Algebraic Data Types | OCaml Programming | Chapter 3 Video 17

More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ...

Application Operators | OCaml Programming | Chapter 2 Video 17

Application Operators | OCaml Programming | Chapter 2 Video 17

How to define some common operators for function application, including the pipeline operator Textbook: ...

Definition of Substitution | OCaml Programming | Chapter 9 Video 17

Definition of Substitution | OCaml Programming | Chapter 9 Video 17

How to define the substitution operation for simple expressions, including `if` and `let` Textbook: https://cs3110.github.io/textbook.

Sponsored
OCAML Tutorial 28/33: Records in OCAML

OCAML Tutorial 28/33: Records in OCAML

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

Include vs Open | OCaml Programming | Chapter 5 Video 16

Include vs Open | OCaml Programming | Chapter 5 Video 16

Comparing the difference between `open` and `include` in modules Textbook: https://cs3110.github.io/textbook.

OCAML Tutorial 3/33: Basic OCAML Expressions and Operations

OCAML Tutorial 3/33: Basic OCAML Expressions and Operations

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

OCAML Tutorial 29/33: OCAML Unions

OCAML Tutorial 29/33: OCAML Unions

My web page: www.imperial.ac.uk/people/n.sadawi.

Implementing Let in the Calculator | OCaml Programming | Chapter 9 Video 18

Implementing Let in the Calculator | OCaml Programming | Chapter 9 Video 18

How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ...

Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14

Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14

Using pattern matching to access the pieces of a variant. Textbook: https://cs3110.github.io/textbook.

An ADT for Pokemon | OCaml Programming | Chapter 3 Video 18

An ADT for Pokemon | OCaml Programming | Chapter 3 Video 18

An extended

OCAML Tutorial 22/33: Labelled & Optional Parameters in OCAML Functions

OCAML Tutorial 22/33: Labelled & Optional Parameters in OCAML Functions

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

Fold | OCaml Programming | Chapter 4 Video 5

Fold | OCaml Programming | Chapter 4 Video 5

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: https://cs3110.github.io/textbook.

Functors | OCaml Programming | Chapter 5 Video 17

Functors | OCaml Programming | Chapter 5 Video 17

Functors, which is a funny name for an elegant concept: functions on modules Textbook: https://cs3110.github.io/textbook.

The Value Restriction | OCaml Programming | Chapter 9 Video 49

The Value Restriction | OCaml Programming | Chapter 9 Video 49

HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...

Related Video Content

Welcome to a World of OCaml information

OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.

Learn OCaml information

Getting started with the OCaml programming language. Read the official tutorials, exercices, and language manual.

OCaml - Wikipedia information

OCaml (/ oʊˈkæməl / oh-KAM-əl, formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming...

GitHub - ocaml/ocaml: The core OCaml system: compilers, runtime … information

OCaml is a functional, statically-typed programming language from the ML family, offering a powerful module system...

OCaml Programming: Correct + Efficient + Beautiful information

OCaml Programming: Correct + Efficient + Beautiful # A textbook on functional programming and data structures in...