Wednesday, March 21, 2007


Welcome to CS92SI: Explorations on OCaml! Over the next quarter, we hope to expose you to the wonderful goodness that is OCaml, a modern programming language which beautifully melds the functional and the imperative (and which is widely used among those working in program analysis, CS theory, and finance). A complete syllabus will be posted soon, but the high bit is that we'll cover topics like pattern matching, type inference, the module & object systems, and the OCaml preprocessor (ocamlp4). Our principle hope, however, is that you'll walk away from the class with a sufficient theoretical understanding of the language to know when it shines, along with enough practical exposure to be able to apply it in these situations.

The most important bit of administrivia is that we'll be meeting on Wednesday afternoons from 1:15-2:30 in Herrin T195 (that's the other Biology building, right next to Gilbert). This course is being offered through the Student Initiated Courses (SIC) program, which means it's a one-unit P/NC course which can't be counted towards a degree (except as an activity unit). That said, the class will surely be a great deal of fun. We look forward to seeing you there!