[Munich-lisp] Haskell Hackathon Donnerstag 28.07.2014 - Neuer Treffpunkt

Haskell Hackathon haskell.hackathon at gmail.com
Sat Jul 26 18:33:06 UTC 2014


Oops, natürlich findet der Hackathon am Montag (28.07) statt! :)

2014-07-26 20:26 GMT+02:00 Haskell Hackathon <haskell.hackathon at 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.




More information about the munich-lisp mailing list