Overview
Syllabus
W0S0, Greetings
W0S0, INTRODUCTION TO THE COURSE
W0S1, FUNCTIONAL PROGRAMMING: HISTORY AND MOTIVATION
W0S2, THE OCAML LANGUAGE: HISTORY AND KEY FEATURES
W0S3, WHY THE OCAML LANGUAGE: MEET THE USERS
W0S4, TOOLS AND DEVELOPMENT ENVIRONMENT: FIRST STEPS IN OCAML!
W0S5, A BRIEF SHOWCASE OF SOME OF OCAML'S FEATURES
W0S6, OVERVIEW OF THE AVAILABLE RESOURCES
W1S0, BASIC DATA TYPES
W1S1, MORE DATA TYPES
W1S2, EXPRESSIONS
W1S3, WHY THE OCAML LANGUAGE: MEET THE USERS
W1S4, FUNCTIONS
W1S5, RECURSION
W2S0, USER-DEFINED TYPES
W2S1, TUPLES
W2S2, RECORDS
W2S3, RECORDS
W2S4, CASE STUDY: A SMALL TYPED DATABASE
W3S0, TAGGED VALUES
W3S2, TREE-LIKE VALUES
W3S3, CASE STUDY: A STORY TELLER
W3S4, POLYMORPHIC ALGEBRAIC DATATYPES
W3S5, ADVANCED TOPICS
W4S0, FUNCTIONAL EXPRESSIONS
W4S1, FUNCTIONS AS FIRST-CLASS VALUES
W4S2, FUNCTIONS WITH MULTIPLE ARGUMENTS
W4S3, PARTIAL FUNCTION APPLICATION
W4S4, MAPPING FUNCTIONS ON LISTS
W4S5, FOLDING FUNCTIONS ON LISTS
W5S0, IMPERATIVE FEATURES IN OCAML
W5S1, GETTING AND HANDLING YOUR EXCEPTIONS
W5S2, SEQUENCES AND ITERATIONS
W5S2, GETTING INFORMATION IN AND OUT
W5S3, SEQUENCES AND ITERATIONS
W5S3, MUTABLE RECORD FIELDS
W5S6, VARIABLES, AKA REFERENCES
W6S0, STRUCTURING SOFTWARE WITH MODULES
W6S1: INFORMATION HIDING
W6S2, CASE STUDY: A MODULE FOR DICTIONARIES
W6S3, FUNCTORS
W6S4, MODULES AS COMPILATION UNITS
OCaml Workshop 2020 - State of the OCaml Platform 2020
OCaml Workshop 2020 - A Declarative Syntax Definition for OCaml