18:30 - arrival of participants, networking, pizza
19:00 - Kovács György - Zippers, when you really want to point at something
21:00 - networking & drinks
The end goal of this presentation is to popularize the concept of a zipper: a datatype that mimics the behavior of pointers from imperative languages. We will be discussing some simple concepts relating to type algebra, comonads and of course, zippers.