BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.hackover.de//hackover24//talk//XCRTE7
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-hackover24-XCRTE7@talks.hackover.de
DTSTART;TZID=CET:20240802T190000
DTEND;TZID=CET:20240802T200000
DESCRIPTION:In the realm of modern software development\, ensuring correctn
 ess and reliability of software systems is paramount. Functional programmi
 ng langaunges like Haskell offer a unique approach to achieving these goal
 s through strong type systems\, immutable data structures\, and pure funct
 ions. Despite its practical benefits\, functional programming is not yet w
 idely-used in mainstream development.\n\nHere\, we'll take you on a gentle
  exploration of the fundamentals of functional programming\, emphasizing c
 oncepts like referential transparency\, purity\, and correctness through v
 erifiable specifications. Through practical examples and approachable expl
 anations\, we will illustrate how Haskell's paradigms can lead to a more r
 obust and maintainable codebase. \n\nThis talk serves as a friendly guide 
 for beginners eager to dive into the world of functional programming and t
 o harness its power to write verifiably correct\, maintainable software.
DTSTAMP:20260912T042503Z
LOCATION:Raum 1.7
SUMMARY:Functional correctness -- Haskell-ing your way to reliable code - y
 ote
URL:https://talks.hackover.de/hackover24/talk/XCRTE7/
END:VEVENT
END:VCALENDAR