[Munich-lisp] Haskell Hackathon Sonntag 03.08.2014

[Haskell Hackathon]

Hi *,
am Sonntag, 3. August 2014 treffen wir uns um 18.00 in India King für
unser Hackathon. Bringt eure Laptops!

Es gibt jetzt auch ein Twitter-Feed für das Hackathon:
https://twitter.com/Haskell_hackers

Themen:

- Kleisli arrow notation
- Cokleisli arrows und cobind
- Beweise der Komonadschen Gesetze



-- BERICHT --

24. Juli:

- über Cloud Haskell gesprochen
- Typeclassopedia angeschaut und wie sich die Klassen unterscheiden
- das Talk "Functionally Oblivious" angemerkt
- Type constructors
- Kinds
- Klassen
- Curry-Howard-Korrespondenz: typen als logische Hypothesen und deren
werte als Beweise der Hypothesen.
- Backus Turing Award Lecture: "Can programming be liberate from the
von Neumann style?"
http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf
- wofür ist ein Functor gut? wie kommutiert es mit funktionen? g (F x)
<---> F (g' x)
- Monad Transformers: verstehen, anwenden, schreiben
- lift und monad stacks
- WriterT benutzen und selber implementieren
- MonadTrans implementiert
- Monoids: hier kann man sachen zusammenfügen
- Applicative als Monade ohne Kausalität
- Kurz ein Attoparsec-parser angeschaut
- newtype als isomorphismus zwischen Mengen
- class dictionaries
https://www.fpcomplete.com/user/jfischoff/instances-and-dictionaries



-- ANFAHRT --

Wir treffen uns in India King, Landsbergerstr. 491.
Webseite: http://www.indiaking.de
Karte: https://goo.gl/maps/5g9m6

Anfahrtmöglichkeiten:

- S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram
19 nach Offenbachstraße (2 Haltestellen)
- Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße
- Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing
umsteigen, bis Offenbachstraße
- Bus 160 oder 162 nach Offenbachstraße

India King befindet sich genau gegenüber der Tramhaltestelle.