YoVDO

OCaml By Examples

Offered By: Independent

Tags

OCaml Courses Project Management Courses Functional Programming Courses Monads Courses Recursion Courses Publishing Courses Macros Courses Functors Courses

Course Description

Overview

Functional programming is an old idea with a distinguished history. Lisp, a functional language inspired by Alonzo Church's lambda calculus, was one of the first programming languages developed at the dawn of the computing age. Statically typed functional languages such as OCaml and Haskell are newer, but their roots go deep—ML, from which they descend, dates back to work by Robin Milner in the early '70s relating to the pioneering LCF (Logic for Computable Functions) theorem prover.


Syllabus

Language Basics
  • opam
  • hello world
  • utop
  • values
  • functions
  • imperative
  • match
  • tuples
  • variants
  • lists
  • sets
  • arrays
  • records
  • mutability
  • recursion
  • hash tables
  • modules
  • errors
  • bits
  • commands
  • files
Project Management
  • dune
  • libraries
  • tests
  • property tests
  • test coverage
  • publishing
  • pins
Advanced Ocaml
  • functors
  • macros
  • monads
Libraries
  • json
  • bignum
  • benchmarks
  • deriving
  • serialization
  • C
  • javascript
  • rust

Taught by

Yaron Minsky, and Jane Street

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Paradigms of Computer Programming
Université catholique de Louvain via edX
Introduction to Functional Programming
Delft University of Technology via edX
Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX