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.