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:12] – ralf | veranstaltungen:haskellstammtisch [2014/11/04 12:38] – MoepMan | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== Haskell Stammtisch ====== | + | {{ : |
- | upcoming meetings: | + | ====== Haskell Stammtisch ====== |
+ | ---- | ||
- | Tuesday, March 4, 2014, [[https:// | + | ===== Upcoming Meetings ===== |
- | 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 | + | ===== Coming |
- | LLVM (the low-level virtual machine; http://llvm.org/) is quite interesting for compiler writers, as it makes producing a high-quality backend for your language much easier. LLVM is also quite well supported in Haskell | + | ===== Past Events ===== |
+ | * 2014-10-28: Testing in Haskell | ||
+ | * 2014-10-02: Datype-generic programming in Haskell (Uni Regensburg) | ||
+ | * 2014-07-15: Game of Life in Haskell (Uni Regensburg) ([[https://github.com/kosmikus/ | ||
+ | * 2014-06-26: Lenses | ||
+ | * 2014-05-27: Tagless final encodings and GADTs (Binary Kitchen) | ||
+ | * 2014-05-06: Haskell, compiler construction and LLVM (Part 2) (Binary Kitchen) ([[https://github.com/kosmikus/kaleidoscope-regensburg|Git Repository]]) | ||
+ | * 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 (Ilja, Felix) (Plan 9) | ||
+ | * 2013-11-12: Solving the n-queens problem | ||
+ | * 2013-10-15: No topic, various discussions (Plan 9) | ||
+ | * 2013-09-17: Kickoff meeting (Kneitinger) | ||
- | past events: | + | ===== Further Information ===== |
+ | [[http:// | ||
- | * XX/XX/XX: A neuronal network for recognizing handwritings | + | [[http://www.meetup.com/ |
---- struct data ---- | ---- struct data ---- | ||
---- | ---- | ||