Learn OCaml!

I have been teaching OCaml to first year undergraduate students for a few years now. Why not share it with the world? To access the course follow the link at the bottom of the page.

Here is what you will learn:

  1. The pure fragment of OCaml: functions, polymorphism, patterns, variants, lists, (tail) recursion, map and fold
  2. Basic algorithms and data types: list algorithms, searching, sorting, queues
  3. Basic proofs of program correctness using structural induction, applied to Peano numbers and lists and supported by our home-brewed proof assistant Yup
  4. Some general theoretical concepts: isomorphisms, the Curry-Howard correspondence

On the web site you will find: lecture notes, lecture slides, lecture videos and over 30 programming assignments. The assignments come with automatic test harnesses so you can test your answers for correctness.

The course web site is accessible fromĀ https://birmingham.instructure.com/courses/15627.

About Dan Ghica

Reader in Semantics of Programming Languages // University of Birmingham // https://twitter.com/danghica // https://www.facebook.com/dan.ghica
This entry was posted in General. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>