Overloaded record fields for Haskell

Want to learn how to employ Haskell records successfully in large projects? Then join Adam Gundry as he explains how (with the help of Simon Peyton Jones) he has extended Haskell to overcome common frustrations with records.

With the increasing use of Haskell for real-world applications, the records system has been a frequent source of frustration to Haskell programmers working on large projects. In particular, an inability to reuse field names across different datatypes leads to awkward ad-hoc naming. There have been many complaints over the years, and designs for better systems proposed, but no concrete progress on implementation. It seemed that academics considered the records problem solved and moved on to greener pastures, while the practical difficulties remained.

Then in late 2011, Simon Peyton Jones proposed a simple extension to permit reusing the same field names in multiple records, thereby resolving the most painful problem, if not all the imperfections of the Haskell record system. This is the story of how Adam implemented that extension in GHC, with the help of Simon and others. Along the way, he'll talk about the challenges of maintaining compatibility with existing Haskell code and fitting something new into the already complex space of Haskell extensions supported by GHC. Adam will then explain the design he and his team ended up with, and how it integrates nicely with lenses, which provide a good solution to the problems of record update.

The talk will assume a vague familiarity with Haskell, but should be reasonably self-contained.

YOU MAY ALSO LIKE:

• Through a Glass, Abstractly: Lenses and the Power of Abstraction (SkillsCast recorded in October 2017)
• Introduction to Docker Fundamentals (in London on 30th September - 1st October 2019)
• CloudNative London 2019 (in London on 25th - 27th September 2019)
• Keynote by Ryn Daniels on Designing Sustainable Ops Cultures (in London on 21st August 2019)
• Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
• Advanced Scala with Dick Wall (in London on 9th - 11th December 2019)
• Haskell eXchange 2019 (in London on 10th - 11th October 2019)
• F# eXchange 2020 (in London on 2nd - 3rd April 2020)
• F#unctional Londoners September (in London on 18th September 2019)
• Keynote Evening with Zainab Ali! (in London on 30th September 2019)
• Scala 2.13 and Beyond! (SkillsCast recorded in April 2019)
• Introduction to Markov Chains in F# (SkillsCast recorded in April 2019)