Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung Nächste Überarbeitung | Vorherige Überarbeitung Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
veranstaltungen:haskellstammtisch [2014/03/04 21:12] – ralf | veranstaltungen:haskellstammtisch [2016/03/08 13:27] – 2001:638:a01:8061:aefd:ceff:fef3:ba65 | ||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
====== 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 ===== | ||
+ | * 2014-10-28: Testing in Haskell (Uni Regensburg) | ||
+ | * 2014-10-02: Datype-generic programming in Haskell (Uni Regensburg) | ||
+ | * 2014-07-15: Game of Life in Haskell (Uni Regensburg) ([[https:// | ||
+ | * 2014-06-26: Lenses (Binary Kitchen) | ||
+ | * 2014-05-27: Tagless final encodings and GADTs (Binary Kitchen) | ||
+ | * 2014-05-06: Haskell, compiler construction and LLVM (Part 2) (Binary Kitchen) ([[https:// | ||
+ | * 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-02-11: No topic, various discussions (Binary Kitchen) | ||
* 2014-01-14: The Agda programming language (Andres) (Binary Kitchen) | * 2014-01-14: The Agda programming language (Andres) (Binary Kitchen) | ||
Zeile 25: | Zeile 21: | ||
* 2013-10-15: No topic, various discussions (Plan 9) | * 2013-10-15: No topic, various discussions (Plan 9) | ||
* 2013-09-17: Kickoff meeting (Kneitinger) | * 2013-09-17: Kickoff meeting (Kneitinger) | ||
- | |||
- | ===== Further Information ===== | ||
- | [[http:// | ||
- | |||
- | ===== Further Information ===== | ||
- | [[http:// | ||
- | |||
---- struct data ---- | ---- struct data ---- | ||
---- | ---- | ||