Nimma.codes: 40ᵉ editie - Monthly meetup @ Deftpower

De veertigste monthly meetup van Nimma.codes alweer!

We zijn een cross-language user group voor software developers in de regio Arnhem-Nijmegen en komen elke laatste dinsdag van de maand samen om te praten over alles wat met software development te maken heeft. Wees welkom! (ook als je niet programmeert)

Ditmaal zijn we wederom te gast bij Deftpower Clean Tech Park Arnhem.

Programma

• 17:30 – 18:00 Inloop + food & drinks
• 18:00 – 18:45 Talk 1: Tim Steenvoorden - De lambda calculus in moderne programmeertalen
• 18:45– 19:00 Pauze
• 19:00 – 19:45 Talk 2: Deftpower - TBD
• 20:00 - 21:00 Netwerken

Talk 1: Tim Steenvoorden (Open Universiteit en Radboud Universiteit) - De lambda calculus in moderne programmeertalen

Eén herschrijfregel, geen types, geen geheugen, geen loops.

In 1936 definieerde Alonzo Church een rekenmodel van bijna irritante eenvoud die toch even krachtig is als een Turingmachine: de lambda calculus. Deze sessie is een reis van die wiskundige kern naar de code die je dagelijks schrijft.

We beginnen met pen en papier: lambda termen lezen, schrijven en reduceren. We gebruiken niets anders dan functies voor het bouwen van datastructuren. Vervolgens maken we de vertaalslag naar closures, higher-order functions, immutability en pipelines in talen als Java(Script), Python, Kotlin, Haskell en Rust.

Het doel is niet om morgen anders te programmeren. Het doel is om te begrijpen waarom moderne talen de afgelopen decennia steeds meer functionele concepten hebben overgenomen en wat de gemeenschappelijke wortel daarvan is.

Talk 2: Deftpower - TBD

Locatie
Clean Tech Park Arnhem - Connector gebouw KB - 1ste verdieping.