Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen

Version vom 6. März 2024, 12:25 Uhr

Hier treffen sich ein paar Personen, die sich mit der Programmiersprache Haskell im besonderen und funktionalen Programmieren (und allem drumherum) im allgemeinen auseinandersetzen möchten. Dabei ist das Ziel, sich gegenseitig zu Helfen, Fragen zu beantworten und ins Gespräch zu kommen.

Wir treffen uns jeden 1. Dienstag im Monat um 18:00 Uhr - 20:00 Uhr.

Funktionale Glückseligkeit

Was ist eigentlich Funktionale Programmierung?

Funktionale Glückseligkeit nach Berthold Hoffmann (circa 2018):

Daten sind Werte
Funktionen sind erstklassige Werte
Funktionsdefinitionen mit Pattern Matching
Funktionsanwendung bewahren ihre Argumente
Parametrische Polymorphie
Polymorphe Typinferenz
Die Repräsentation von Werten kann verborgen werden
Nur wirklich benötigte Werte werden berechnet: Lazy Evaluation, Call-by-Need
Alle Funktionen haben einen Parameter (Currying, partielle Funktionen, …)

Termine

Nächster Termin: 2024-04-02 18:00 Uhr im Z1
2024-03-05 18:00 Uhr im Z1
- Funktionale Glückseligkeit nach Berthold Hoffmann
- Vertiefung zu Liquid Haskell
- Array Programmiersprachen, insbesondere uiua
- ~~Web APIs mit Servant~~
2024-02-06 18:00 Uhr im Z1
- Functional Programm mit Lean
- Einführung zu Liquid Haskell
- Functional package management mit Guix und Nix

Links

Einführungsliteratur: Learn You a Haskell for Great Good

@@ Zeile 2: / Zeile 2: @@
 [[Kategorie:Projekte]]
 [[Kategorie:Themen]]
-Hier treffen sich ein paar Personen, die sich mit der Programmiersprache Haskell auseinandersetzen möchten. Dabei ist das Ziel, sich gegenseitig zu Helfen, Fragen zu beantworten und ins Gespräch zu kommen.
+Hier treffen sich ein paar Personen, die sich mit der Programmiersprache Haskell im besonderen und funktionalen Programmieren (und allem drumherum) im allgemeinen auseinandersetzen möchten. Dabei ist das Ziel, sich gegenseitig zu Helfen, Fragen zu beantworten und ins Gespräch zu kommen.
 Wir treffen uns '''jeden 1. Dienstag im Monat''' um 18:00 Uhr - 20:00 Uhr.
@@ Zeile 26: / Zeile 26: @@
 * '''Nächster Termin:''' 2024-04-02 18:00 Uhr im [[Zweigstraße|Z1]]
 * 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]]
-** Funktionale Glückseligkeit nach Berthold Hoffmann (siehe oben)
+** [[#Funktionale_Glückseligkeit|Funktionale Glückseligkeit]] nach Berthold Hoffmann
 ** Vertiefung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]
 ** Array Programmiersprachen, insbesondere [https://www.uiua.org uiua]