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 =====
- +  * 2014-10-28: Testing in Haskell (Uni Regensburg) 
- XX/XX/XX: The AGDA programming language +  2014-10-02: Datype-generic programming in Haskell (Uni Regensburg) 
- XX/XX/XX: A neuronal network for recognizing handwritings +  * 2014-07-15: Game of Life in Haskell (Uni Regensburg) ([[https://github.com/kosmikus/life-regensburg|Git Repository]]) 
- XX/XX/XX: Solving the n-queens problem in Haskell +  * 2014-06-26: Lenses (Binary Kitchen) 
- XX/XX/XXKickoff meeting +  * 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]]) 
-===== Further Information ===== +  * 2014-04-01: Haskell, compiler construction and LLVM (Part 1) (Plan 9) 
-[[http://www.meetup.com/Regensburg-Haskell-Meetup/|Regensburg Haskell Meetup]] +  * 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.txt
  • Zuletzt geändert: 2024/01/08 20:06
  • von 188.192.237.20