veranstaltungen:haskellstammtisch

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
veranstaltungen:haskellstammtisch [2014/02/19 18:21] ralfveranstaltungen:haskellstammtisch [2024/01/08 20:06] (aktuell) – inline edit 188.192.237.20
Zeile 1: Zeile 1:
 +{{ :veranstaltungen:haskell_logo.png?direct&200|}}
 +
 ====== Haskell Stammtisch ====== ====== Haskell Stammtisch ======
 +This page is outdated and moved to meetup.com
  
-===== Upcoming Meetings ===== +[[http://www.meetup.com/Regensburg-Haskell-Meetup/|Regensburg Haskell Meetup]]
- +
-==== Haskell and Performance ==== +
- +
-<note>Tuesday, March 4, 2014, [[https://goo.gl/maps/uudJJ|Binary Kitchen Regensburg]], 8:00 pm ct.</note> +
-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; 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 (I don't mean the GHC LLVM backend, but the various LLVM libraries on Hackage)In this meetup (which could be split into two or three parts), I'd propose to have a look at this excellent tutorial: http://www.stephendiehl.com/llvmIt describes how to implement a simple programming language called Kaleidoscope in Haskell.+
  
 ===== 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/kosmikus/life-regensburg|Git Repository]]) 
-  * XX/XX/XXKickoff 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://github.com/kosmikus/kaleidoscope-regensburg|Git Repository]]) 
-[[http://www.meetup.com/Regensburg-Haskell-Meetup/|Regensburg Haskell Meetup]] +  * 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-15No topic, various discussions (Plan 9) 
 +  * 2013-09-17: Kickoff meeting (Kneitinger)
 ---- struct data ---- ---- struct data ----
 +event.begin          : 
 +event.end            : 
 +event.location       : 
 +event.periodic       : yes
 +event.periodic_text  : Auf wunsch
 ---- ----
  
  • veranstaltungen/haskellstammtisch.1392834097.txt.gz
  • Zuletzt geändert: 2014/02/19 18:21
  • von ralf