[Munich-lisp] Haskell Hackathon Donnerstag 15.05.2014

Haskell Hackathon haskell.hackathon at gmail.com
Sun May 11 14:23:00 UTC 2014


Hi *,
am Donnerstag, 15. Mai 2014 treffen wir uns um 18.00 in der Pizzeria
Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr.
Bringt eure Laptops unbedingt mit!

Themen:

- Wir suchen für hochperformantes socket I/O in Haskell! Vorschläge
für Libraries immer noch wilkommen! :-)

oder

- Wir erweitern unser auf Free Monads basierendes Runtime

-- BERICHT --

Bericht vom 1.05.2014:
- arrows, bicategories, bifunctors, casting with typeables,
commutative monads, costrength, forgetful functors, ghc core syntax,
Oleg, opposite categories, profunctors, small and large categories,
strength, strong functors, strong monads, yoneda lemma
- arrows are monoids in categories of bifunctors C^op x C -> C
- existential types and the curry-howard isomorphism to existential
quantifiers in logic
- big tech day 7
- budapest hackathon
- http://takeichi.ipl-lab.org/~asada/papers/arrStrMnd.pdf
- https://www.sciencedirect.com/science/article/pii/S1571066106001666
- http://comonad.com/reader/2008/deriving-strength-from-laziness/
- http://vimeo.com/6590617

-- ANFAHRT --

Wir treffen uns in Vapiano Pasing, am Pasinger Bahnhofsplatz.

Anfahrt:

Entweder S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) oder die
Straßenbahn 19 zum Pasing Bahnhof. Vapiano ist auf der linken Seite
wenn man von der Straßenbahnhaltestelle zum Burger King hinschaut und
ist leicht zu finden.

Bei Bedarf kann mich jeder unter dieser Telefonnummer erreichen: 015129057464

LG,
Damian




More information about the munich-lisp mailing list