Hi *, am Sonntag, 17. August 2014 treffen wir uns um 14.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: - Generic programming - Typeclassopedia oder - graphische Simulationen in Gloss - GTK oder - attoparsec -- BERICHT -- 28. Juli: - über monadsche Gesetze gesprochen; wie man von Axiomen Thesen ableitet um die zu beweisen - wie funktionieren kommutative Diagramme? Was haben die mit Kategorietheorie zu tun? - wie soll man Haskelltypen als kommutative Diagramme verstehen? - ein Beispiel wie man kommutativität eines Diagramms für das Isomorphismus zwischen Modulo-ringen benutzen kann, um Schiffer zu knacken! - was ist ein Funktor? Applicative? - wie sieht der Diagramm für liftM aus? fmap? <*>? ein Funktor? - was ist ein Monoid? - wir sind die ganze Typeclassopedia durchgegangen und haben darüber gesprochen, was an jeder Typklasse wesentlich ist - und wofür die nutzvoll sind. - wie sieht das Diagramm für eine Monade? für liftM? - was ist eine Komonade? Wie benutzt man sie? Wie unterscheidet sich die funktionsweise des komonadischen co-binds von der des monadischen bind? - Wir schrieben eine Komonade für binärbäume. - Wir haben bewiesen, dass unsere Komonade auch eine Komonade wirklich ist! Leider ist uns ein Teil des Beweises entweicht, das haben wir aber später nachgeholt :) -- 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.