Institute of Mathematics Conferences, #kievfprog 2017.1

Font Size: 
Introduction to lenses
Anton Dubovik

Building: Institute of Mathematics
Room: Conference Hall
Date: 2017-03-18 02:15 PM – 15:00
Last modified: 2017-03-06


Lenses have been called "jQuery for data types". They allow to access

and modify certain parts of data types. Lenses are compositional, that

is one may build up complicated data accessor from a few simpler ones.

An idea behind lenses gives rise to a number of useful compositional

constructions (folds, traversals, isomorphisms, first-class patterns).

We discuss semantics and pragmatics of these notions in Haskell.