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.
* 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.
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 is a software engineer and team lead at Tarides, hacking on OCaml stuff.
Video sponsor – Ada Beat
If you want to spread functional programming and support the channel, buy something from the shop: