Func Prog Sweden

Welcome to the third online Func Prog Sweden MeetUp 2026

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:00.

• Intro by Magnus Sedlacek
• Rust for Scala and Haskell Developers: A Surprisingly Familiar Journey by Pawel Szulc
• The GenPRES project by Casper Bollen

Rust for Scala and Haskell Developers: A Surprisingly Familiar Journey
Rust has a reputation for being a difficult, low-level language: no garbage collector, a strict compiler, and an unfamiliar approach to memory.
But for developers coming from Scala or Haskell, much of it is surprisingly familiar.
In this talk, we’ll map ideas you already know—algebraic data types, pattern matching, type classes, and explicit error handling—into Rust’s world. We’ll also look at what actually requires a shift in thinking: ownership, borrowing, and a more direct relationship with memory.
The goal is not to teach Rust from scratch, but to reframe it. By the end, you’ll see Rust not as a completely new language, but as one that builds on concepts you already understand—just applied closer to the metal.

Pawel Szulc
https://www.linkedin.com/in/pawelszulc/

The GenPRES project
Medication errors are one of the most common sources of medical complications. However, the medication process, prescribing, preparing and administration of medication is als one of the most thoroughly protocolized medical processes.
In order to achieve a safe and efficient medication workflow the following human error prone activities can be solved by Clinical Decision Support Software (CDSS):

1. Looking up rules and constraints
2. Calculations
3. Verification of correct applications of rules and constraints and subsequent calculations

Welcome to the fourth online Func Prog Sweden MeetUp 2026

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:00.

• Intro by Magnus Sedlacek
• TBA
• Λ polite and well educated LLM agent, with excellent manners, that always behaves well by Ramón Soto Mathiesen

Λ polite and well educated LLM agent, with excellent manners, that always behaves well
In the age of AI, we seem to have lost our ways when it comes to basic notions of IT-sec. From using (payed) web applications, leaking all kind of sensitive information through "telemetry" (https://infosec.exchange/@k3ym0/116161635202253362), to utilizing agentic tools, from our local devices, without ANY kind of restriction and hereby resulting in leakage of all kind of credentials and VERY sensitive/private data (https://snyk.io/articles/poisoned-security-scanner-backdooring-litellm/#stage-1-information-collection).
To provide a bit of hope to the scene and offer well known security mechanism such as: Information Flow Control (IFC), Mandatory Access Control (MAC), protection rings, restricted binaries and I/O, (pure) sandboxing, package hardening, …, we would like to introduce a LLM Λ-gent, which is build on a sound foundation and is standing on the shoulders of giants (nix/NixOS ecosystem and Haskell programming language).
An analogy to Λ-gents could be Framework devices. Fully-tailored to YOUR needs, think of physical hardware as restricted I/O effects, enforced by a pure nix sandbox and a Haskell interpreter/compiler. Later on, add or remove effects. Whatever suits you best, due the scripting nature of the LLM Λ-gents. YOU decide what the YOUR Λ-gent does and nobody else.

Ramón Soto Mathiesen
Mr. Mathiesen (Ramón Soto Mathiesen), a passionate datalogist (*), with flair for functional programming languages and business, that advocates for: correctness, quality and high-standards; but, always with the customer in mind.
He is currently working for his own company SPISE MISU ApS: “Stay Pure, Isolating Side-Effects, while Making Illegal States Unrepresentable”, where he seems to have discovered his Holy Grail in SAFE Haskell.
(*) At the University of Copenhagen (KU), we don’t study Computer Science, but rather Datatology (“data” as information or facts about something and “logos” (Greek) meaning study). This is because Peter Naur, the founder of the (first) department at KU and Denmark’s only Turing Award winner, came up with the term after listening to his good friend Edsger Dijkstra when he said: «Computer Science is no more about computers than astronomy is about telescopes».
https://www.linkedin.com/in/ramonsotomathiesen/

Invite for the FPS Discord Server: https://discord.gg/rMT6xRPwgZ