Func Prog Sweden 2025 at Kivra
Details
Welcome to the Func Prog Sweden MeetUp 2025 at Kivra
We will be at the Kivra office in Stockholm and live stream the event on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden
Link to live stream: https://youtube.com/live/ornSfgB5MH4
The doors will open at 17 for mingel and food, at 18 there will be a presentation and after that more mingel and food until 21.
The presentation will start at 18:
- 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