Third Func Prog Sweden 2023 – Online
Szczegóły
Welcome to the third Func Prog Sweden MeetUp 2023 – Online
This MeetUp will be streamed live online on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden
The program starts at 18.
- Intro 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.
https://www.linkedin.com/in/sudha247/
Mikael Tönnberg
https://www.linkedin.com/in/mikael-t%C3%B6nnberg-43203429/
Video sponsor – Ada Beat
https://adabeat.com
Merch
If you want to spread functional programming and support the channel, buy something from the shop:
https://funcprogsweden.myspreadshop.net/
#funcprogsweden
