OCaml Labs Meeting

Add to your list(s) Download to your calendar using vCal

• OCL Members
• Wednesday 21 May 2014, 15:30-17:30
• FW26, Computer Lab, 15 JJ Thomson Avenue, Cambridge.

If you have a question about this talk, please contact Amir.

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)

This talk is part of the OCaml Labs Events series.

This talk is included in these lists:

• FW26, Computer Lab, 15 JJ Thomson Avenue, Cambridge
• OCaml Labs Events

Note that ex-directory lists are not shown.