Veranstaltungen/Haskell-Meetup: Unterschied zwischen den Versionen
Nmeum (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Nmeum (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 9: | Zeile 9: | ||
* '''Nächster Termin:''' 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]] | * '''Nächster Termin:''' 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]] | ||
** | ** Vertiefung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell] | ||
** Web APIs mit [https://www.servant.dev/ Servant] | ** Web APIs mit [https://www.servant.dev/ Servant] | ||
* 2024-02-06 18:00 Uhr im [[Zweigstraße|Z1]] | * 2024-02-06 18:00 Uhr im [[Zweigstraße|Z1]] | ||
** [https://leanprover.github.io/functional_programming_in_lean/ Functional Programm mit Lean] | ** [https://leanprover.github.io/functional_programming_in_lean/ Functional Programm mit Lean] | ||
** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell] | ** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell] | ||
** Functional package management mit [https://guix.gnu.org Guix] und [https://nix.org Nix] | |||
== Links == | == Links == | ||
* Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good] | * Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good] |
Version vom 7. Februar 2024, 07:35 Uhr
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.
Wir treffen uns jeden 1. Dienstag im Monat um 18:00 Uhr.
Termine
- Nächster Termin: 2024-03-05 18:00 Uhr im Z1
- Vertiefung zu Liquid Haskell
- 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