BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.c3voc.de//qtcat-2026//speaker//NYDQRY
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-qtcat-2026-NFAZFU@pretalx.c3voc.de
DTSTART;TZID=CET:20260814T113000
DTEND;TZID=CET:20260814T123000
DESCRIPTION:I will talk about a famous category variously known by its obje
 cts as the category of containers\, by its morphisms as the category of le
 nses\, and via an equivalence as the category of polynomial functors Poly 
 (which is less practical to work with but has better puns). As well as bei
 ng theoretically interesting this category has a frankly ridiculous number
  of practical applications\, which I will do my best to give an impression
  of.\n\nAfter being blocked for years by the difficulty of programming wit
 h lenses\, last year I quit academia to get more research time and now I a
 m building a programming language in which all types denote containers (ak
 a polynomial functors) and functions denote lenses. This language\, which 
 I also call Poly\, is half way through development and can hold together j
 ust barely enough to give a working demo. I will talk about the challenges
  of designing a syntax around an unfamiliar semantics\, and the interplay 
 of syntax\, semantics and pragmatics in programming language development.\
 n\nThis is joint work with Zanzi Mihejevs (my primary partner\, who introd
 uced me to gender\, polyamory and programming language theory) and Dylan B
 raithwaite (my PhD student and also my boss)
DTSTAMP:20260812T202106Z
LOCATION:R. 221
SUMMARY:Poly is difficult\, but rewarding - Jules Hedges
URL:https://pretalx.c3voc.de/qtcat-2026/talk/NFAZFU/
END:VEVENT
END:VCALENDAR