Coming Up‎ > ‎

12.11.2015 - Overloaded record fields for Haskell

posted 28 Oct 2015, 02:22 by Ed Lambda
When Thursday 12th November at 7pm
Where Skyscanner's offices, Quartermile One, 15 Lauriston Pl, Edinburgh
Who Adam Gundry, Well Typed.

So that Skyscanner know who they should expect entering their building, please get a free ticket from the EventBrite page.

Title Overloaded record fields for Haskell

A long-standing annoyance when using Haskell for large-scale
applications has been its rather limited record system.  In particular,
field names cannot be reused across multiple datatypes, and while the
record update mechanism is very expressive, it does not compose well.
Over the years there have been many proposals for better systems, but no
concrete progress on implementation.

This is the story of how I foolishly set out to "solve the records
problem" over the summer of 2013, and how over two years later I've
still neither quite succeeded nor failed.  I'll explain the new design
as it currently stands, showing how it decomposes into not one but three
separate language extensions, one of which provides interesting new
possibilities for writing programs that have nothing to do with records.
 While it is always dangerous to predict the future, I'll outline what
you can and can't expect to see from this work in the upcoming GHC 8.0.