Posts tagged ‘compile-time-performance’ - Well-Typed: The Haskell Consultants

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

Type-level sharing in Haskell, now
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021

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