Third Func Prog Sweden MeetUp 2023

Welcome to the third Func Prog Sweden MeetUp 2022 – Online

The program:
00:00 Stream start
08:51 Welcome by Magnus
11:38 An Introduction to OCaml by Sudha Parimala
01:00:03 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

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

#funcprogsweden