[Munich-lisp] Haskell Hackathon Samstag 23.08.2014 - Neue Webseite, 2D Simulationen, GTK, Generics

[Haskell Hackathon]

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.