[Munich-lisp] Haskell Hackathon Donnerstag 17.07.2014 - Neuer Treffpunkt

Haskell Hackathon haskell.hackathon at gmail.com
Wed Jul 16 14:33:40 UTC 2014


Hi *,
am Donnerstag, 17. Juli 2014 treffen wir uns um 18.00 in India King
für unser Hackathon. Bringt eure Laptops!

Neuer Treffpunkt: wir probieren diesmal India King aus, wo es Strom
und WLAN gibt. Es ist auch ein bisschen ruhiger.

Es gibt jetzt auch ein Twitter-Feed für das Hackathon:
https://twitter.com/Haskell_hackers

Themen:

- Benutzung einfacher Monaden
- Was ist eine Monade?
- Wir schreiben eine Monade
- Was sind Monadentransformer?



-- BERICHT --

Bericht vom 6.07.2014:
- wir haben uns Egison angeschaut (egison.org) - ein in Haskell
implementiertes (cabal install egison) pure functional Lisp mit
"non-linear pattern-matching with back-tracking against unfree data
types". Beispiel code:

(define $twin-primes
  (match-all primes (list integer)
    [<join _ <cons $p <cons ,(+ p 2) _>>>
      [p (+ p 2)]]))

paper: http://arxiv.org/abs/1407.0729
slides: http://www.egison.org/presentation.pdf
- NLP Beispiele in Egison angeschaut

- wir haben uns weiter mit den Thema des Arbeitsspeicherlayouts beschäftigt
- dafür wurde eine neue Version von memgrep geschrieben welche das
Arbeitsspeicher in binären Modus durchsucht
- anscheinend behandelt GHC Zeichenketten folgendermaßen: getLine
speichert die Zeichenkette als unboxed in das Arbeitsspeicher (in das
fake-heap welches sich nach dem linux heap befindet). Bei erster
Verwendung (putStrLn) wird das head in einen anderen
Arbeitsspeicherbereich gespeichert, das Tail bleibt wo es ist, wobei
das Head nicht mehr vorhanden ist. Das heißt, das boxing-modell ist
nur theoretisch; eigentlich werden Boxes nur dann erstellt, wann die
gebraucht werden. Anscheinend braucht putStrLn das Head als separates
Zeichen.



-- ANFAHRT --

Wir treffen uns in India King, Landsbergerstr. 491.
Webseite: http://www.indiaking.de

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