Structuur en begrijpelijkheid van type-expressies

Functionele programmeertalen worden gekenmerkt door een grote expressieve kracht en grote begrijpelijkheid van de programma's. Ze lenen zich bij uitstek als basis voor het programmeeronderwijs.
Meestal zijn deze talen sterk getypeerd. Het opstellen van een type-expressie is een belangrijke stap in het specificeren van een functie. Bovendien is het functietype een belangrijk hulpmiddel voor het opsporen van fouten.
In deze bijdrage wordt een model gegeven voor de complexiteit van de structuur van type-expressies in Miranda (Miranda is een handelsmerk van Research Software Limited). In termen van dit model is een maat ontwikkeld voor het kwantificeren van de complexiteit. In een aantal experimenten is nagegaan hoe deze complexiteit van de structuur samenhangt met de begrijpelijkheid van type-expressies, zowel voor een groep studenten als een groep docenten.