From haskell.hackathon at gmail.com Sat Aug 2 13:52:54 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 2 Aug 2014 15:52:54 +0200 Subject: [Munich-lisp] Haskell Hackathon Sonntag 03.08.2014 Message-ID: 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. From haskell.hackathon at gmail.com Sat Aug 16 17:59:27 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 16 Aug 2014 19:59:27 +0200 Subject: [Munich-lisp] Haskell Hackathon Sonntag 17.08.2014 Message-ID: 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. From haskell.hackathon at gmail.com Fri Aug 22 18:24:01 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Fri, 22 Aug 2014 20:24:01 +0200 Subject: [Munich-lisp] Haskell Hackathon Samstag 23.08.2014 - Neue Webseite, 2D Simulationen, GTK, Generics Message-ID: Hi *, am Samstag, 23. August 2014 treffen wir uns um 15.00 in India King f?r unser Hackathon. Bringt eure Laptops! Die webseite hat jetzt ein Facelift bekommen! Es ist zwar nicht viel Arbeit gewesen, hat aber ein gutes Effekt gehabt. Sagt wie es euch gef?llt! http://haskell-hackathon.no-ip.org Twitter-Feed f?r das Hackathon: https://twitter.com/Haskell_hackers Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK oder - attoparsec -- BERICHT -- 3. August: - ein Beweis f?r die Gesetze der Komonadeninstanz f?r nichtleere, bin?re B?ume ist vorgef?hrt worden. Kein beweis ist gut ohne neuer Notation! - das selbe Beweis ist in Isabelle/HOL gemacht worden - ?ber Koinduktion gesprochen und die in Isabelle/HOL versucht - mit Koinduktion die Komonadeninstanz f?r ein endloses Stream bewiesen - Isabelle/HOL und andere Logiksysteme in Isabelle pauschal verglichen, sowie Coq, Idris, und Agda. Isabelle/HOL kann das Auswahlaxiom verwenden, was viele Beweise einfacher macht - da man keine Konstruktionen vorlegen muss. Dagegen verf?gt es nicht ?ber dependent types. - Wir haben uns GHC Generics angeschaut und ein Paar Funktionen mit Generics geschrieben -- 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. From cheater00 at gmail.com Fri Aug 22 17:09:08 2014 From: cheater00 at gmail.com (cheater00 .) Date: Fri, 22 Aug 2014 19:09:08 +0200 Subject: [Munich-lisp] =?utf-8?q?Wo_ist_der_n=C3=A4chste_Stammtisch=3F?= Message-ID: Hallo, Einige Leute haben die Idee gegeben nicht mehr in die Max-Emanuel zu gehen. Ich wei? aber nicht mehr was damit passiert ist. K?nnte Jemand bitte best?tigen wo wir uns treffen? LG -------------- next part -------------- An HTML attachment was scrubbed... URL: From chneukirchen at gmail.com Sat Aug 23 14:07:23 2014 From: chneukirchen at gmail.com (Christian Neukirchen) Date: Sat, 23 Aug 2014 16:07:23 +0200 Subject: [Munich-lisp] =?utf-8?q?Wo_ist_der_n=C3=A4chste_Stammtisch=3F?= In-Reply-To: (cheater's message of "Fri, 22 Aug 2014 19:09:08 +0200") References: Message-ID: <874mx39u5g.fsf@gmail.com> "cheater00 ." writes: > Hallo, > Einige Leute haben die Idee gegeben nicht mehr in die Max-Emanuel zu gehen. > Ich wei? aber nicht mehr was damit passiert ist. K?nnte Jemand bitte > best?tigen wo wir uns treffen? Es ist noch nix reserviert, ich h?tte auch mit dem Cafe Puck kein Problem. Heinrich, was sagst du? Ciao, -- Christian Neukirchen http://chneukirchen.org From hoerdegen at laposte.net Sun Aug 24 18:46:52 2014 From: hoerdegen at laposte.net (hoerdegen at laposte.net) Date: Sun, 24 Aug 2014 20:46:52 +0200 Subject: [Munich-lisp] Munich Haskell Meeting Message-ID: <53FA331C.1050305@laposte.net> Dear all, next Tuesday, 26th of August, Munich's Haskell enthusiasts will meet again at Cafe Puck around 19h30. Everyone is wellcome. Please note that we will meet at Cafe Puck. To help us reserve enough tables, please go to http://www.haskell-munich.de/dates and click the button. Heinrich From haskell.hackathon at gmail.com Thu Aug 28 01:19:38 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Thu, 28 Aug 2014 03:19:38 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 28.08.2014 - 2D Simulationen, GTK, Generics Message-ID: Hi *, am Donnerstag, 28. August 2014 treffen wir uns um 18.00 in India King f?r unser Hackathon. Bringt eure Laptops! Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK -- BERICHT -- 17. August: - ?ber die unterschiedliche Typen von Polymorphismus in Haskell gesprochen: Typklassen, genereller Polymorphismus, Generics, und wie das sich von wertbasierenden Polymorphismus unterscheidet (OOP/Java/etc) - dar?ber gesprochen, was die unterschiedliche Typklassen in Typeclassopedia ausmacht - ?ber den Parallelismus von Applicatives gesprochen, und wie es sich mit Monaden vergleicht. An eine Monade kann nur sequentiell zugegriffen werden weil die rechte Seite von bind f?r ein Element aus der linken Seite eine variable Anzahl von Elemente in das Resultat einf?gen kann. - ?ber unterschiedliche Weisen gesprochen, wie man ein flexibles API bauen kann. - Generics kurz erkl?rt - mit Gloss und gloss-gtk gearbeitet - Gloss ist eine Bibliothek f?r 2D-Zeichnen mit OpenGL - gloss-gtk erlaubt die Nutzung von Gloss in einen GTK-fenster, welches auch Kn?pfe hat usw. Das basiert auf gtk2hs. - gloss-gtk erlaubt auch, Physikalische Simulationen, Animationen, und Spiele zu bauen. - mit GTK tastatureingabe gearbeitet - weitere sachen mit GTK gemacht: event handling, eingaben, etc. Es stellt sich heraus gtk2hs ist sehr einfach zu benutzen! - Text in Gloss mit GLFW benutzt. Die gloss-gtk library um text-formatierung erweitert (sonst k?nnte man mit Text sehr wenig machen) -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org From haskell.hackathon at gmail.com Thu Aug 28 16:41:58 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Thu, 28 Aug 2014 18:41:58 +0200 Subject: [Munich-lisp] Hackathon nach Vapiano Pasing verlegt Message-ID: India King hat wegen Urlaub diese Woche geschlossen - wir verlegen das Hackathon nach Vapiano Pasing :-)