2023-05-26: Bob Atkey (MSP)

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

Bob Atkey (MSP)

From Lenses to Composable Continuations, and what lies between

Abstract

Continuation-Passing Style (CPS) is a programming discipline that parametrises programs by "the thing that happens next" - the continuation. Programs in CPS gain superpowers by being able to directly manipulate the continuation and use it as many times as they want. In this talk, I'll try to convince you that lenses are a restricted form of CPS where the continuation must be used exactly once. In fact, lenses and CPS form a category with lenses as the initial object and CPS as the terminal object. But what lies between them?

2023-05-26 15:00:00 UTC
LT711 and Online