| Software verandert. Technologie¨en, organisaties, en bedrijfsvoering veranderen door de jaren heen, en veel software moet bij deze veranderingen aangepast worden. Generiek programmeren is een programmeermethode die het veranderen van software ondersteunt. Een generiek programma beschrijft hoe 'de uitzondering' geïmplementeerd wordt; het algemene geval wordt altijd op dezelfde manier opgelost. Voor het schrijven van een generieke programma is een generieke programmeertaal of een generieke programmeerbibliotheek nodig. De afgelopen jaren zijn meerdere generieke programmeertalen en -bibliotheken voorgesteld, en met deze talen zijn een aantal veelbelovende toepassingen van generiek programmeren ontwikkeld. Omdat het generiek programmeren veel aandacht heeft gekregen in het onderzoeksgebied van de programmeertalen bestaan er zeer veel voorstellen voor programmeertalen en -bibliotheken die het generiek programmeren ondersteunen. Dit belemmert de vooruitgang van generiek programmeren, omdat het voor gebruikers steeds moeilijker wordt te kiezen, en de versnipperde aandacht tot gevolg heeft dat vele voorstellen over een aantal jaren niet meer ondersteund zullen worden. Wij stellen voor om een gezamenlijke bibliotheek voor generieke programmatuur te ontwikkelen, en die te gebruiken in een grote toepassing van generiek programmeren, namelijk interactieve, domein-specifieke oefeningenhulptools. De ervaringen met grotere toepassingen willen wij in design patterns voor generiek programmeren consolideren. |
