[Munich-lisp] Haskell Hackathon Sonntag 17.08.2014

Haskell Hackathon haskell.hackathon at gmail.com
Sat Aug 16 17:59:27 UTC 2014


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.




More information about the munich-lisp mailing list