A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
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 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
14:00 - 15:30 | |||
14:00 30mTalk | A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures Haskell Gershom Bazerman Arista Networks | ||
14:30 30mTalk | 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 30mTalk | Staging Regular Expressions with Moore Cayley Fusion Haskell |