Hasochistic Containers by Conor McBride
Channel: Salar Rahmanian
Date: 10/02/2024

Conor McBride gives a talk at the Bay Area Haskell Users Group about writing containers in Haskell. A container is a functor with a "shapes and positions" presentation: the contained values are given as the image of a function from positions, but the type of positions depends on the value of the shape. Some container theory will be live-coded using many GHC language extensions.

Conor has a post on his blog about this topic as well: https://pigworker.wordpress.com/2015/06/06/hasochistic-containers-a-first-attempt/

Also available on PeerTube: https://watch.softinio.com/w/fuAuBiHmaH2VuEpaiTrrGr