OCaml By Examples
Offered By: Independent
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
- dune
- libraries
- tests
- property tests
- test coverage
- publishing
- pins
- functors
- macros
- monads
- 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