2020-11-12: Jules Hedges (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Jules Hedges (MSP)

Lenses 101

Abstract

I’ll talk about the zoo of closely-related structures (with a lot of clashing terminology) known as “lenses” and “optics”. Lenses and optics are a way of managing inherently state-heavy applications (for example videogames) in purely functional languages, which turn out to have a lot of surprisingly deep category theory behind them. I will also talk about some of the places where lenses have recently appeared far outside their original domain, for example in game theory, machine learning and systems theory.

2020-11-12 13:00:00 UTC
Online