Denken mit Typen in der Funktionalen Programmierung

Die Software Craft Community @ DATEV freut sich sehr, dass Merlin Göttlinger uns an seinem Wissen teilhaben lässt.

Abstract

Der Funktionale Programmierer schwört auf Statische Typisierung, redet von "Higher Order Types" und lebt in seiner Welt von Typsignaturen bei denen dem OO Programmierer übel wird. Mit neuen Programmiersprachen wie Rust finden ungewohnte Typsystemfeatures und Gespräche über Dependent Types Einzug in den Alltag einer breiteren Masse.

Dieser Talk wird euch zeigen, dass die Welt der Typen nicht so theoretisch und beängstigend ist, wie es auf den ersten Blick scheint. Typen sind euer Weg dem Compiler euren Code zu erklären, damit er dessen Korrektheit prüfen kann. Wir werden eine Intuition von Typsignaturen und Algebraischen Datentypen entwickeln und lernen wie Typen wertvolle Dokumentation in Codebases darstellen.

Bio

Merlin Göttlinger machte seinen Bachelor in Medieninformatik an der Ohm/TH-Nürnberg und anschließend einen Master in Informatik an der FAU. Aktuell arbeitet er an einer Promotion in Informatik (Argumentation, Logik). Parallel zu seinem Studium hat er bei Unternehmen wie Bosch, Easycore, Evosoft, und Imbus als Entwickler gearbeitet. Über Scala entdeckte er die wunderbare Welt der Funktionalen Programmierung und ist dann zu Haskell übergegangen mit Ausflügen in Coq, Idris, und Agda.