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/02/19 18:19] – ralf | veranstaltungen:haskellstammtisch [2014/11/04 12:38] – MoepMan | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | {{ : | ||
+ | |||
====== Haskell Stammtisch ====== | ====== Haskell Stammtisch ====== | ||
+ | ---- | ||
===== Upcoming Meetings ===== | ===== Upcoming Meetings ===== | ||
- | |||
- | ==== 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 ===== | ===== Coming soon ===== | ||
- | ==== Haskell, compiler construction and LLVM ==== | + | ===== 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: | ||
+ | * 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 (Andres) (Binary Kitchen) | ||
+ | * 2013-12-17: A neuronal network for recognizing handwritings (Ilja, Felix) (Plan 9) | ||
+ | * 2013-11-12: Solving the n-queens problem in Haskell (Martin) (Plan 9) | ||
+ | * 2013-10-15: No topic, various discussions (Plan 9) | ||
+ | * 2013-09-17: Kickoff meeting (Kneitinger) | ||
- | LLVM (the low-level virtual machine; http:// | + | ===== Further Information |
- | + | [[http:// | |
- | ===== Past Events | + | |
- | * XX/XX/XX: The AGDA programming language | + | [[http://www.meetup.com/Regensburg-Haskell-Meetup/|Regensburg Haskell Meetup]] |
- | * XX/XX/XX: A neuronal network for recognizing handwritings | + | |
- | * XX/XX/XX: Solving the n-queens problem in Haskell | + | |
- | * XX/XX/XX: Kickoff meeting | + | |
---- struct data ---- | ---- struct data ---- | ||
---- | ---- | ||