Skip to main content

Courseware and Computer Resources

Installing OCaml

Download and install OCaml. Install the latest release available for your platform.

Windows users, install either the MinGW port or the Cygwin port of OCaml. Ignore the information on producing standalone Windows executables; you will not need them for this course.

Installing Emacs with Tuareg Mode

You can develop OCaml programs using any text editor. Vim, Emacs, Notepad++, TextWrangler, and SublimeText are popular and effective text editors. (Note that Microsoft Word is not a text editor!) We suggest Emacs with Tuareg mode, a special mode for editing OCaml files. It offers an interactive toplevel and a variety of formatting utilities. You can find the software and installation instructions on the Tuareg page. Emacs with Tuareg is installed on the Windows machines in the public CIT labs and CSUGLab.

Windows users can download and extract Emacs customized for CS 3110. This ZIP archive (40 MB) contains Emacs with Tuareg mode already installed, plus a few minor CS 3110 customizations. For example, it will warn you if a line in your source code is longer than 80 characters. Execute RunEmacs.bat from the Emacs directory that you extracted. To run OCaml from inside Emacs, first open an .ml file, then click on the OCaml menu and choose Interactive Mode then Run Caml Toplevel.

Installing the OCaml Plugin for Eclipse

Many of you are familiar with Eclipse from 2110. Eclipse is a poor tool for working with OCaml, however you may try your luck with OcaIDE. It requires at least Eclipse 3.5 (Galileo), and provides a few useful features. We were able to install OcaIDE without problems on an Intel-based Mac running Mac OS X 10.5 (Leopard) following the online instructions.

Installation and configuration on Windows was a little more painful but ultimately successful. The plugin also requires bash, a Unix command interpreter, which comes with Cygwin, so you may also need to install Cygwin and put C:/cygwin/bin/ on your Windows path.

Computer Labs

CIT Labs

Cornell Information Technologies (CIT) runs several computer labs across campus for all members of the Cornell community. Check here for locations and hours.


CS majors are entitled to an account in the CSUG labs in Upson and Rhodes. Check here for more information.