Abstrakt. Generisk programmering handlar om konstruktion av program som kan tillämpas på många olika datatyper. Detta uppnås genom att parameterisera de generiska programmen genom strukturen av de datatyper på vilka de ska tillämpas. Program som kan dened generellt sträcker sig från enkla kartfunktioner genom vackra skrivare till komplexa XML-verktyg. Utformningen av allmänna programmeringsspråk är till stor del outforskad, delvis på grund av den tid och ansträngning som krävs för att genomföra ett sådant språk. I detta dokument visar vi hur man skriver exible prototypimplementationer av två befintliga generiska programmeringsspråk, PolyP och Generic Haskell, med hjälp av Mall Haskell, en förlängning till Haskell som möjliggör kompilering-tid meta-programmering. Genom att göra detta får vi också en bättre förståelse för skillnaderna och likheterna mellan de två språken.
De presenterar också ett tillvägagångssätt för generisk programmering med hjälp av mallen Haskell REF.
Prototyping generic programming in Template Haskell
{'venue': 'Mathematics of Program Construction, volume 3125 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}