Second Func Prog Sweden MeetUp 2022 – Online

Welcome to the second Func Prog Sweden MeetUp 2022 – 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 20.

• Intro by Magnus Sedlacek
• Datomic - a scalable, immutable database system by Marek Lipert
• macOS to NixOS the Purely Functional Linux Distribution by Daniel Britten

Abstract for Datomic - a scalable, immutable database system
Immutability has emerged over the years as one of the key concepts in functional programming. Despite the profound impact FP ideas had on design of many modern imperative programming languages, it is surprising to see the database world barely noticing them. Datomic is an effort by Rich Hickey, the creator of Clojure, to bridge this gap and create a truly immutable, production ready datastore that can handle modern day workloads scaling in a reliable way.

Marek Lipert
Software developer and data scientist. 15 years of software development experience backed by strong mathematical foundations. Architecting, developing and delivering integrated mobile / web / IOT systems. Enthusiast of functional programming languages and techniques and their applications in increasing code quality and expressiveness. Avid Lisper. Experience managing and tutoring development teams and software projects.
https://www.linkedin.com/in/marek-l-40995867/

Abstract for macOS to NixOS the Purely Functional Linux Distribution
NixOS, the "Purely Functional Linux Distribution", is an interesting choice to switch to from macOS (or any OS). It has some unique advantages as well as some annoying quirks. I'll discuss my experience of switching from a MacBook Pro to a Dell running NixOS for everyday usage as a Computer Science PhD student.

Daniel Britten
PhD student at the University of Waikato, New Zealand with a research focus on using theorem-proving (Coq) to help guarantee correctness and security properties of blockchain smart contracts. Interested in functional languages especially with rich type systems, such as dependently typed languages.
https://www.linkedin.com/in/daniel-britten-3178b5102/

Video sponsor – Ada Beat
https://adabeat.com

If you want to spread functional programming and support the channel, buy something from the shop:
https://shop.spreadshirt.net/funcprogsweden/

#funcprogsweden