Scrap your boilerplate: prologically!

“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the univ operator and higher-order logic programming techniques. We pay attention to the particularities of Prolog. For instance, we deal with traversal of non-ground terms. We also develop an alternative model of SYB-like traversal based on metaprogramming. This generative, type-driven model is also amenable to type-driven optimization. Categories and Subject Descriptors D.3.3 [PROGRAMMING

• Type: Conference
• Year: 2009
• Where: PPDP
• Authors: Ralf Lämmel
• Keywords: Generic Functional Programming, Paper Reconstructs Syb, PPDP 2009, Programming Languages, Traversal