An Introduction to OCaml by Sudha Parimala

April 19, 2023

An Introduction 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 OCaml with multicore support 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, we’ll see a summary of the many-year journey of Multicore OCaml and the efforts it took to culminate into OCaml 5.

Sudha Parimala
Sudha is a software engineer and team lead at Tarides, hacking on OCaml stuff.

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.