Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Tue 17 Jul 2018 13:50 - 14:30 at Matterhorn III - Track 3

As the shape of data frequently changes whilst being processed by an application, anonymous records and their implications are a very useful tool to concise type-safe program design despite these requirements. Some good examples are type safe database libraries supporting table joins, RESTful JSON APIs, configuration environments or mock-free unit tests. Currently, Haskell’s built-in type system and GHC do not support structural typing with anonymous records, but it is practical to implement an anonymous record library built on top of modern Haskell which is performant. In this presentation, we will present different programming problems to which anonymous records provide a great tool for an elegant and sensible solution compared to nominal data structures. Next to the examples given above, we will also explore how one can leverage anonymous records to maintain backward compatibility in web APIs without impacting underlying program design choices in further development. We will dive into the implementation of an anonymous record library for Haskell covering some interesting takeaways on runtime and compile time considerations as well as benchmarking Haskell code.

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks13:50 - 14:30
curryon-2018-CurryOn-Talks14:40 - 15:20