Scrap your boilerplate with class: extensible generic functions

DOI10.1145/1086365.1086391MaRDI QIDQ2936783zbMATH OpenOpenAlexWikidataFDO

Authors Ralf Lämmel, Simon Peyton-Jones

Publication date 6 January 2015

Published in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1086365.1086391

zbMATH Keywords

extensibilitygeneric programmingrecursive dictionariestype classestypecase

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Scrap more boilerplate: reflection, zips, and generalised casts
• “Scrap Your Boilerplate” Reloaded
• A new approach to generic functional programming
• “Scrap Your Boilerplate” Revolutions
• Generics for the masses

Cited in

(16)

• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• A functional approach to generic programming using adaptive traversals
• Operational semantics of resolution and productivity in Horn clause logic
• Proof relevant corecursive resolution
• Strongly typed rewriting for coupled software transformation
• A reflection on types
• Scrap your boilerplate with XPath-like combinators
• “Scrap Your Boilerplate” Revolutions
• Libraries for generic programming in Haskell
• A mostly-copying collector component for class templates
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• Algebraic specialization of generic functions for recursive types
• Extensible algebraic datatypes with defaults
• Scrap more boilerplate: reflection, zips, and generalised casts
• Generic programming in 3D
• Type-directed weaving of aspects for polymorphically typed functional languages

Describes a project that uses

Uses Software

• Haskell
• QuickCheck

This page was built for publication: Scrap your boilerplate with class: extensible generic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936783)