ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 16:00 - 16:45 at Meeting 6 - FUNARCH Talks #3 Chair(s): Perdita Stevens

Data structures are the foundation of software. Different components of a system may need the same information but may have different demands on its structure for reasons of performance, resource efficiency, technical constraints, convenience, and so on. For instance, transmitting data over a network requires a format that is suitable for serialization, while persisting data requires a format that is more suitable for storage. Thus, programmers need to translate data between several data structures and formats all the time. Authoring these translations manually is a lot of work because programmers need to implement the logic twice, once for each direction. This is redundant, tedious, and error-prone, and a case of low coherence. We show how using bidirectional data transformations that use functional optics like lenses and projections simplify the conversions. These ideas and techniques make converting data simple and straightforward and foster understanding of the relationship between data structures by explicitly describing their connections in a composable manner.

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
FUNARCH Talks #3FUNARCH at Meeting 6
Chair(s): Perdita Stevens University of Edinburgh
16:00
45m
Experience report
Bidirectional Data Transformations
FUNARCH
Marcus Crestani Active Group GmbH, Markus Schlegel Active Group GmbH, Marco Schneider Active Group GmbH
16:45
45m
Panel
Future of FUNARCH
FUNARCH
Michael Sperber Active Group GmbH