[Haskell'25] Derive class instances topdown and derive ttg automatically скачать в хорошем качестве

[Haskell'25] Derive class instances topdown and derive ttg automatically

Derive class instances topdown and derive ttg automatically (Video, Haskell 2025) Song Zhang (None) Abstract: Derive class instances topdown All the deriving mechanisms in GHC focus on single type and single class instance generation, while in this talk, I want to introduce a method that makes those mechanisms to generate multiple related class instances. This mitigates boilerplate deriving clauses for Haskell programmers in two cases: Many data types are composite and nested together, each of which needs a deriving clause or instance declaration. A data type needs to be derived as an instance of a class with many superclasses, so programmers need to enumerate all the superclasses in a deriving clause. Derive ttg automatically A regular data type can be transformed into decoratable type by extending constructors with type families. This transformation can be automated by using Template Haskell. Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-... Sponsored by ACM SIGPLAN.