Func Prog Sweden 2025 at Kivra

Welcome to Func Prog Sweden at Kivra

The doors will open at 5 PM for mingel and food, at 6 PM CET there will be a presentation and after that more mingel and food until 9 PM.

The presentation will start at 6 PM.
- Intro by Magnus Sedlacek
- Demystifying the Enigma Machine - a Functional Journey by Isaac Abraham

Demystifying the Enigma Machine - a Functional Journey
This presentation explores the infamous Enigma encryption device through the lens of functional programming. Starting with the historical context of the Enigma machine in World War II, we'll examine its design, operational mechanics, and the critical vulnerabilities that ultimately enabled Allied cryptanalysts to break what was once considered unbreakable.

The core of this talk demonstrates how the Enigma's complex encryption system can be elegantly modelled using functional programming principles in F#. We'll illustrate how the machine's components—rotors, reflector, and plugboard—naturally map to a pipeline of pure functions, with machine state threaded through using fold/reduce patterns. This approach not only simplifies the conceptual understanding of the Enigma but also highlights the expressive power of F# for modelling complex systems.

Finally, we'll explore comprehensive testing strategies for our implementation, including property-based testing to verify encryption/decryption symmetry and unit testing to validate the behavior of individual components. Through this journey, attendees will gain insights into both historical cryptography and modern functional programming techniques that remain relevant in today's software engineering practices.

Isaac Abraham
I'm the founder of Compositional IT, a software consultancy specialising in functional-first, cloud-ready solutions.

My background is technical - I've been using the .NET platform since its initial release, along with several years experience on Microsoft Azure. I have a background spanning both public and private sector clients in a variety of industries.

I am particularly interested in functional and distributed programming, and its application through F# on the .NET platform; a regular speaker and contributor to the F# community, I have been a Microsoft F# MVP since 2014 - one of just a handful worldwide. I have also worked as CTO and director of one of the UK's leading Azure consultancies, particularly with regards to data-driven workloads.
https://www.linkedin.com/in/isaacabraham/

Venue sponsor - Kivra
https://kivra.se/

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

Видео Func Prog Sweden 2025 at Kivra канала Func Prog Sweden