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
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
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
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.
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.
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.