Functional correctness -- Haskell-ing your way to reliable code
March 30, 2024
7:45 PM – 8:45 PM Add to calendar
7:45 PM – 8:45 PM Add to calendar
Bitmarckplatz - D003
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
| Live Stream | https://streaming.media.ccc.de/eh21/bitmarckplatz |
|---|---|
| Type | Talk |
| Language | English |
More sessions
| 3/29/24 |
Opening Ceremony
|
| 3/29/24 |
Einführung, Ausbaustufen, Redundanzkonzepte, Backupmöglichkeiten, Migration und Security Aspekte beim Einsatz von Proxmox
|
| 3/29/24 |
Ein "heroischer" Versuch, Verschränkung in der Quantenmechanik zu veranschaulichen. Der Schwerpunkt liegt nicht auf physikalisch-mathematischer Exaktheit, sondern auf Geschichten und Bildern, die eine Brücke zwischen der Welt, wie wir sie wahrnehmen und den spannenden Eigenheiten der Quantenphysik bauen sollen. Als Anwendung ein kleiner Seitenblick auf Quantencomputer.
|
| 3/29/24 |
Flightgear is an open source flight simulator, We take a look at it, how to get started flying and how to hack on it.
|
| 3/29/24 |
Die Entstehung von Hadopi
|
| 3/29/24 |
2016 drehte die Firma U-Blox den Betrieb ihrer back-end Server für den Geotate Dienst ab und machte damit die GPS photoReceiver für den Blitzschuh von Jobo und Bilora effektiv zu Elektroschrott. In einem Anfall von "so schwer kann das doch nicht sein" begaben wir uns auf das Abenteuer herauszufinden, wie die Geräte eigentlich funktionieren und was nötig wäre, sie wieder zum Leben zu erwecken, und wollen euch mitnehmen auf eine Reise durch Code und Werbebroschüren
|
| 3/29/24 |
Irgendwas mit Kaffeemaschinen, Vendor-Lock-in und erzwungener Obsoleszenz
|
