University of Cambridge > Talks.cam > OCaml Labs Events > OCaml Labs Meeting

OCaml Labs Meeting

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity