Abstract

Provisional Agenda (subject to change)

• Overview (Anil)

• Ctypes now includes a new backend that statically generates the C and OCaml code for binding to libraries. I’ll show what this looks like from a user perspective and how it translates into additional type safety, simpler linking and more efficient execution. (Jeremy)

• Multicore Runtime – Lack of support for shared-memory parallelism is often cited as a short-coming of OCaml. This talk will describe the design of an OCaml runtime with support for parallelism, focusing on the garbage collector for this runtime. (Stephen)

• Modular Implicits – Taking inspiration from “Modular Type-classes” and Scala’s implicits, this talk will outline the design and implementation of “modular implicits”. Modular implicits allow functions to take implicit module arguments which will be filled-in by the compiler by searching the environment for a module with the appropriate type. This enables ad-hoc polymorphism in a very similar way to Haskell’s type classes. (Frederic)

• Jenga – Jane Street’s distributed build system. (Nick / Mark)