Functional correctness -- Haskell-ing your way to reliable code
August 2, 2024
7:00 PM – 8:00 PM Add to calendar
7:00 PM – 8:00 PM Add to calendar
Raum 1.7
In the realm of modern software development, ensuring correctness and reliability of software systems is paramount. Functional programming langaunges like Haskell offer a unique approach to achieving these goals through strong type systems, immutable data structures, and pure functions. Despite its practical benefits, functional programming is not yet widely-used in mainstream development.
Here, we'll take you on a gentle exploration of the fundamentals of functional programming, emphasizing concepts like referential transparency, purity, and correctness through verifiable specifications. Through practical examples and approachable explanations, we will illustrate how Haskell's paradigms can lead to a more robust and maintainable codebase.
This talk serves as a friendly guide for beginners eager to dive into the world of functional programming and to harness its power to write verifiably correct, maintainable software.
Additional information
| Type | Talk |
|---|---|
| Language | German |
More sessions
| 8/2/24 |
Balkonkraftwerke und was so die Sonne an Leistung bringt. In diesem talk möchte ich meine gesammelten Erfahrungen mit der Installation meiner Solaranlage erzählen.
|
| 8/2/24 |
Wir schauen uns an, wie Verwaltungsdigitalisierung gesetzlich motiviert ist, welche technischen Unterbauten beteiligt sind und warum das alles so lange dauert.
|
| 8/2/24 |
Diskussionsrunde um herauszufinden welches gute Wege des Umgangs mit Gemeinschaftswerkzeug ist
|
| 8/2/24 |
Freifunk Hannover - letztes Jahr - Facebook
|
| 8/2/24 |
Wer schon mal mit den drei großen Buchstaben aus Walldorf arbeiten musste und innerhalb von SAP Code geschrieben hat, ist sehr wahrscheinlich auch in irgendeiner Form mit "Transporten" in Kontakt gekommen. Und wer schon öfter Code innerhalb von SAP geschrieben und transportiert hat, wird sich vermutlich auch schon gefragt haben, warum Transporte eigentlich so schei^W besonders sind. In diesem Talk geht es darum, wie Transporte von innen aussehen und wie sie (vermutlich) so geworden sind.
|
| 8/2/24 |
Wir klimpern zusammen ein wenig in Vim herum. Vim findet sich fast auf jeder Maschine. Mit ein klein wenig Übung lässt er sich viel besser benutzen. Vielleicht macht es sogar ein wenig Spaß :) - (Neo)Vim besser verlassen, als mit q! :D - Wir stellen ein paar Basis-Konfig-Optionen ein - Schnell in Dateien bewegen - Dateien bearbeiten - Die „Vim Sprache“ (Anzahl, Motion und Commands) - Kopieren und Einfügen - Suche innerhalb einer Datei - Suche in allen Dateien („grep“) - Suche nach ...
|
| 8/2/24 |
In diesem Talk möchte ich meinen Weg der RGB LEDs vom Easterhegg 2009 bis zum 2024 erzählen und euch motivieren ebenfalls mit ein wenig Basteln eine wunderbare Lichtinstallation kreieren.
|
