Nicollet.Net

Never programmed before? Want to move away from another language? Heard that functional programming is interesting and want to try?

This series of articles is intended to provide a quick and handy tutorial to Objective Caml programming—in an unusual fashion, perhaps, but I expect it to be efficient nonetheless.

The tutorial is split up into several sections, and each section is grouped into pages. Pages that have not been written yet are not linked. The table of contents is as follows:

1. First Steps

   1. What’s this programming thing anyway?
   2. The bulk of code: expressions.
   3. Giving names to things: variables.
   4. Keeping your variables clean: local definitions.
   5. Describing operations: functions.
   6. Passing several arguments: tuples and currying.
   7. Solving larger problems: recursive functions.
   8. Recursion-friendly data: lists.
   9. Giving up: exceptions.
   10. Working with text: strings.

2. The Type System

   1. Why doesn’t my code work?
   2. The basic types available in Objective Caml.
   3. The type inference algorithm.
   4. Silly compiler, no cookie: integers and reals.
   5. Defining list-like types: sum types.
   6. Naming parts of tuples: records.

3. Practical Tips

4. The Module System

5. The Compiling Process

6. Labeled Arguments

7. Polymorphic Variants

8. Classes And Objects

9. Imperative Programming