Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung Nächste Überarbeitung | Vorherige Überarbeitung | ||
veranstaltungen:haskellstammtisch [2014/02/19 18:21] – ralf | veranstaltungen:haskellstammtisch [2024/01/08 20:06] (aktuell) – inline edit 188.192.237.20 | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | {{ : | ||
+ | |||
====== Haskell Stammtisch ====== | ====== Haskell Stammtisch ====== | ||
+ | This page is outdated and moved to meetup.com | ||
- | ===== Upcoming Meetings ===== | + | [[http://www.meetup.com/ |
- | + | ||
- | ==== Haskell and Performance ==== | + | |
- | + | ||
- | < | + | |
- | Topic: | + | |
- | We can discuss performance problems given small code examples. If you have suitable examples you'd like to bring and see discussed, please let us know in advance. As a backup, I can explain how lazy evaluation works and when explicit strictness annotations make sense. | + | |
- | + | ||
- | ===== Coming soon ===== | + | |
- | + | ||
- | ==== Haskell, compiler construction and LLVM ==== | + | |
- | + | ||
- | LLVM (the low-level virtual machine; | + | |
===== Past Events ===== | ===== Past Events ===== | ||
- | * XX/XX/XX: The AGDA programming language | + | * 2014-10-28: Testing in Haskell (Uni Regensburg) |
- | * XX/XX/XX: A neuronal network for recognizing handwritings | + | * 2014-10-02: Datype-generic programming in Haskell (Uni Regensburg) |
- | * XX/XX/XX: Solving the n-queens problem in Haskell | + | * 2014-07-15: Game of Life in Haskell (Uni Regensburg) ([[https://github.com/ |
- | * XX/XX/XX: Kickoff meeting | + | * 2014-06-26: Lenses (Binary Kitchen) |
- | + | * 2014-05-27: Tagless final encodings and GADTs (Binary Kitchen) | |
- | ===== Further Information ===== | + | * 2014-05-06: Haskell, compiler construction and LLVM (Part 2) (Binary Kitchen) ([[https:// |
- | [[http:// | + | * 2014-04-01: Haskell, compiler construction and LLVM (Part 1) (Plan 9) |
+ | * 2014-03-04: Haskell and Performance (Binary Kitchen) | ||
+ | * 2014-02-11: No topic, various discussions (Binary Kitchen) | ||
+ | * 2014-01-14: The Agda programming language | ||
+ | * 2013-12-17: A neuronal network for recognizing handwritings | ||
+ | * 2013-11-12: Solving the n-queens problem in Haskell | ||
+ | * 2013-10-15: No topic, various discussions (Plan 9) | ||
+ | * 2013-09-17: Kickoff meeting (Kneitinger) | ||
---- struct data ---- | ---- struct data ---- | ||
+ | event.begin | ||
+ | event.end | ||
+ | event.location | ||
+ | event.periodic | ||
+ | event.periodic_text | ||
---- | ---- | ||