Hard- & Software
Functional correctness -- Haskell-ing your way to reliable code
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 | Long Talk |
|---|---|
| Language | German |
More sessions
| 5/3/24 |
Du hast einen 3D-Drucker, aber noch nie etwas selber entwickeltes gedruckt? In diesen Workshop erkläre ich euch wie einfach 3D-CAD mit dem CAD-Progamm Dune 3D sein kann. https://dune3d.org/
|
| 5/3/24 |
Glasfaser ist in aller Munde, doch wie sieht eigentlich eine Glasfaser aus und wie verbindet man zwei davon? In diesen Workshop könnt ihr selber mit einem Spleißgerät Glasfasern zusammenspleißen und auf Funktion überprüfen.
|
| 5/3/24 |
Der Talk richtet sich an alle die sich für die Portierung von OpenWrt interessieren und insbesondere die, die normalerweise eher höher im Software-Stack unterwegs sind. Ich werde anhand von meiner ersten eigenen Portierungs-Erfahrung die notwendigen Schritte sowie mögliche Pitfalls anschaulich erklären.
|
| 5/4/24 |
Du leuchtest noch nicht? Let's change that.
|
| 5/4/24 |
How to get started with PCB designs from the very basics
|
| 5/4/24 |
Die IT will einheitliche Strukturen; trifft das auf historisch gewachsene Themen, ist das Desaster garantiert.
|
| 5/4/24 |
In diesem Workshop bringe ich Anfängern mit dem vim-Editor die wichtigsten Dinge bei, um produktiv allerlei Texte zu bearbeiten. Wer bisher vim nur oberflächlich bedient habt, lernt hier im Workshop, was dieser Editor noch alles kann, ohne irgendwelche Plugins zu verwenden.
|
