Oops, natürlich findet der Hackathon am Montag (28.07) statt! :) 2014-07-26 20:26 GMT+02:00 Haskell Hackathon <haskell.hackat...@gmail.com>: > Hi *, > am Montag, 28. Juli 2014 treffen wir uns um 18.00 in India King für > unser Hackathon. Bringt eure Laptops! > > Treffpunkt: India King scheint unseren Treffen sehr gut geeignet zu sein! > > Es gibt jetzt auch ein Twitter-Feed für das Hackathon: > https://twitter.com/Haskell_hackers > > Themen: > > - Was sind die Monadschen Gesetze, und wie sichert man dass sie > eingehalten werden? Warum ist das wichtig? > - Funktoren > - Kommutative Diagramme in Kategorietheorie > - Aplikative Funktoren > - Komonaden > - Wir schreiben eine Komonade für Binärbäume und beweisen die > Komonadsche Gesetze dafür > > > > -- BERICHT -- > > 17. Juli: > > Einsteiger-Hackathon! Wir haben: > - "Hello World" geschrieben > - über Typklassen gesprochen, dass sie ähnlich wie APIs und Interfaces sind > - uns angeschaut, wie man einfache Monaden benutzt: List, IO, Maybe > - über das do-syntax gesprochen > - darüber gesprochen was eine Monade macht (aufbauen von Struktur > (return); Kausalität (bind, also >>=)) > - eine Liste von grund auf implementiert und Algebraische Datentype erklärt > - eine Monade für unsere Liste geschrieben > - Infix-Konstruktoren verwendet und eine Show-instanz dafür geschrieben > - Über boxing und laziness gesprochen > - Über MirageOS, OCaml und Unikernels gesprochen: > http://queue.acm.org/detail.cfm?id=2566628 > > > > -- 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.
_______________________________________________ Munich-lisp mailing list Munich-lisp@common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp
