An Invitation to OCaml

Speaker: Sudha Parimala

Track: English

Type: Long talk

Room: Avvai Hall (Mini Hall)

Time: Jan 29 (Sun): 12:30

Duration: 0:45

An Invitation to OCaml


What is OCaml?

OCaml is an industrial strength functional programming language with an additional bonus of imperative and object-oriented features. OCaml has been around for more than 25 years now, with more and more exciting developments.

Why OCaml?

Amongst other thigs, OCaml offers -

  • Strong Static typing
  • Hindley-Milner type inference
  • Algebraic Data Types and Pattern Matching
  • Garbage collection

We’ll have a quick tour of how they make life as a developer more pleasant.

Wait, do you use it in real life?

Of course! We shall see some examples of applications written in OCaml. To name a few: Coq - theorem prover, Hack - programming language, Irmin - a git like data store and the list goes on.

But but, where is Multicore support?

It’s here!! OCaml 5, the first official release of Multicore OCaml was released in December 2022. OCaml 5 adds native support for parallelism and concurrency. OCaml is the first mainstream programming language to support Algebraic Effects. In this section, I’ll summarise the many-year journey of Multicore OCaml and the efforts it took to culminate into OCaml 5.