ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 14:00 - 14:30 at Kosovel - Applications Chair(s): Satnam Singh

Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers (aka polynomial functors) – established in the context of total, necessarily terminating, functions. However, the Haskell language is non-strict and permits functions that do not terminate. It has long been observed that traversals can at times in fact operate over infinite lists, for example in distributing the Reader applicative. The result of such a traversal remains an infinite structure, however it nonetheless is productive – i.e. successive amounts of finite computation yield either termination or successive results. To investigate this phenomenon, we draw on tools from guarded recursion, making use of equational reasoning internal to Haskell.

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
ApplicationsHaskell at Kosovel
Chair(s): Satnam Singh Groq
14:00
30m
Talk
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Haskell
Gershom Bazerman Arista Networks
14:30
30m
Talk
Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Haskell
Jonathas Augusto de Oliveira Conceição Universidade Federal de Pelotas, André Rauber Du Bois Universidade Federal de Pelotas, Gerson Cavalheiro Universidade Federal de Pelotas, Samuel Feitosa Universidade Federal da Fronteira Sul, Rodrigo G. Ribeiro Federal University of Ouro Preto
15:00
30m
Talk
Staging Regular Expressions with Moore Cayley Fusion
Haskell
Jamie Willis Imperial College London, Nicolas Wu Imperial College London, Tom Schrijvers KU Leuven