From RAII to Substructural Types and Beyond at XM

We are happy to announce our next meetup that will be held physically at XM, in Athens.
After the talk there will be time for Q&A, food and networking.

📍 Location 📍
Michalakopoulou 80 street, 1st floor.
Attendees should register with their meetup name at the entrance

⏰ Date & Time ⏰
12th of February, 19:00

🔗 Prerequisites & Target audience 🔗
The talk is aimed at developers who are interested in C++.

🇬🇷 Language 🇬🇧
The talk will be in Greek unless there are non-Greek speakers in the audience.

🍀 JetBrains license ruffle 🍀
At the end of the event we will ruffle out 2 yearly licenses for a JetBrains IDE.

📃 Agenda 📃
19:00 - "Intro, Agenda of meetup" by Dimitris Platis
19:05 - A message from our sponsor - XM
19:10 - "From RAII to Substructural Types and Beyond" by Iosif Arvanitis
20:10 - Pizza, kindly offered by XM 🍕

🎤 About the talk 🎤
In modern C++ resource management, RAII and move semantics have become ubiquitous. In this talk, we will take a closer look at the underlying mechanisms underpinning the advantages of using these features, and the theory that formalizes them. We will then discuss the powerful implications of the theory and how it influences the wider programming language world.

We will move beyond the basics of RAII to explore:
- A primer on substructural types (affine, linear, etc)
- Connecting substructural types with C++ concepts (e.g. `unique_ptr`)
- Substructural "superpowers": race freedom, static guarantees and more

Under this framework, modern C++ developers can better grasp new language features, design safer APIs, and appreciate influential patterns from other programming languages.

🎤 About the speaker 🎤
Iosif Arvanitis is a Computer Engineering undergraduate at the University of Patras, with a focus on systems programming, concurrent-distributed systems and programming languages. He is currently active in academic research, as well as web development projects.