Third Func Prog Sweden MeetUp 2023

April 18, 2023

Introducing the Third Func Prog Sweden Meetup 2023 program! We’ll begin with a warm welcome by Magnus Sedlacek, setting the tone for the event. Then, Sudha Parimala will introduce us to the fascinating world of OCaml, shedding light on its key features and applications. Next, Mikael Tönnberg will share valuable lessons learned from his experience of building a startup with Haskell.

The program

* Welcome by Magnus Sedlacek
* An Introduction to OCaml by Sudha Parimala
* Lessons learnt by Mikael Tönnberg

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.

Mikael Tönnberg

Video sponsor – Ada Beat


If you want to spread functional programming and support the channel, buy something from the shop:


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.