[Munich-lisp] Haskell Hackathon Donnerstag 28.07.2014 - Neuer Treffpunkt
Haskell Hackathon
haskell.hackathon at gmail.com
Sat Jul 26 18:26:14 UTC 2014
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