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

程序设计实习 / Practice on Programming
Peking University via Coursera
程序设计基础
Peking University via edX
算法基础
Peking University via Coursera
Principles of Computing (Part 2)
Rice University via Coursera
算法设计与分析 Design and Analysis of Algorithms
Peking University via Coursera