Deriving as a Library - Type Classes and Language Features

Deriving as a Library - Type Classes and Language Features

Explore a lightning talk from the Haskell Implementors Workshop 2023 that delves into the concept of implementing deriving features as a library rather than language extensions. Learn how Li-yao Xia proposes to make the correspondence between type classes and records more explicit, potentially simplifying the language implementation. Discover how this approach could impact the way Haskell handles deriving mechanisms and gain insights into the underlying compilation process of type classes. This concise presentation offers a fresh perspective on language design and optimization for functional programming enthusiasts and Haskell developers.