Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen
Nmeum (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Nmeum (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
(2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 10: | Zeile 10: | ||
Was ist eigentlich Funktionale Programmierung, bzw. in welchen Sprachen kann man funktional programmieren? | Was ist eigentlich Funktionale Programmierung, bzw. in welchen Sprachen kann man funktional programmieren? | ||
Funktionale Glückseligkeit nach Berthold Hoffmann (circa 2018): | Funktionale Glückseligkeit nach [https://user.informatik.uni-bremen.de/hof/ Berthold Hoffmann] (circa 2018): | ||
# Daten sind Werte | # Daten sind Werte | ||
Zeile 21: | Zeile 21: | ||
# Nur wirklich benötigte Werte werden berechnet: Lazy Evaluation, Call-by-Need | # Nur wirklich benötigte Werte werden berechnet: Lazy Evaluation, Call-by-Need | ||
# Alle Funktionen haben einen Parameter (Currying, partielle Funktionen, …) | # Alle Funktionen haben einen Parameter (Currying, partielle Funktionen, …) | ||
Siehe auch: https://www.informatik.uni-bremen.de/agbkb/lehre/programmiersprachen/uebungsaufgaben/m19.pdf | |||
== Termine == | == Termine == | ||
* '''Nächster Termin:''' 2024-04-02 18:00 Uhr im [[Zweigstraße|Z1]] | * '''Nächster Termin:''' 2024-06-04 18:00 Uhr im [[Zweigstraße|Z1]] | ||
* 2024-05-07 18:00 Uhr im [[Zweigstraße|Z1]] | |||
** [https://hackage.haskell.org/package/template-haskell template-haskell] | |||
** [https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Generics.html GHC.Generics] | |||
** [https://www.servant.dev/ Servant] | |||
* 2024-04-02 18:00 Uhr im [[Zweigstraße|Z1]] | |||
** Free Monads und Algebraic Effects | |||
** Besprechung von [https://doi.org/10.1145/2887747.2804319 Freer Monads, More Extensible Effects] | |||
* 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]] | * 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]] | ||
** [[#Funktionale_Glückseligkeit|Funktionale Glückseligkeit]] nach Berthold Hoffmann | ** [[#Funktionale_Glückseligkeit|Funktionale Glückseligkeit]] nach Berthold Hoffmann |
Aktuelle Version vom 7. Mai 2024, 18:21 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, bzw. in welchen Sprachen kann man funktional programmieren?
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, …)
Siehe auch: https://www.informatik.uni-bremen.de/agbkb/lehre/programmiersprachen/uebungsaufgaben/m19.pdf
Termine
- Nächster Termin: 2024-06-04 18:00 Uhr im Z1
- 2024-05-07 18:00 Uhr im Z1
- 2024-04-02 18:00 Uhr im Z1
- Free Monads und Algebraic Effects
- Besprechung von Freer Monads, More Extensible Effects
- 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