BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20201025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260518T152217Z
UID:31oibg
DTSTART;VALUE=DATE:20210216
DTEND;VALUE=DATE:20210217
CLASS:PUBLIC
CREATED:20210202T174705
DESCRIPTION: Die Software Craft Community @ DATEV freut sich sehr\, dass Me
 rlin Göttlinger uns an seinem Wissen teilhaben lässt. \n\n Abstract \n\n
  Der Funktionale Programmierer schwört auf Statische Typisierung\, redet 
 von "Higher Order Types" und lebt in seiner Welt von Typsignaturen bei den
 en 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. \n\n Dieser Talk wird euch zei
 gen\, 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 eur
 en Code zu erklären\, damit er dessen Korrektheit prüfen kann. Wir werde
 n eine Intuition von Typsignaturen und Algebraischen Datentypen entwickeln
  und lernen wie Typen wertvolle Dokumentation in Codebases darstellen. \n\
 n Bio \n\n Merlin Göttlinger machte seinen Bachelor in Medieninformatik a
 n 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\, Ea
 sycore\, Evosoft\, und Imbus als Entwickler gearbeitet. Über Scala entdec
 kte er die wunderbare Welt der Funktionalen Programmierung und ist dann zu
  Haskell übergegangen mit Ausflügen in Coq\, Idris\, und Agda. \n
LAST-MODIFIED:20230321T134603
LOCATION:1:00 pm in BlueJeans Events
ORGANIZER:mailto:scc@datev.de
SUMMARY:Denken mit Typen in der Funktionalen Programmierung
URL;VALUE=URI:https://ti.to/scc-datev/think-with-types
URL;VALUE=URI:https://ti.to/scc-datev/think-with-types
END:VEVENT
END:VCALENDAR