Posts tagged ‘records’ - Well-Typed: The Haskell Consultants

Anonymous or large records with OverloadedRecordDot and OverloadedRecordUpdate
Edsko de Vries
Tuesday, 07 March 2023

large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022

New large-records release: now with 100% fewer quotes
Edsko de Vries
Wednesday, 23 March 2022

Induction without core-size blow-up
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021

Avoiding quadratic core code size with large records
Edsko de Vries
Friday, 20 August 2021

Announcing the optics library
Adam Gundry
Monday, 02 September 2019

OverloadedRecordFields revived
Adam Gundry
Monday, 30 March 2015

Talk on Overloaded Record Fields for Haskell
Adam Gundry
Monday, 05 May 2014