functiekeuze

Functiekeuze is een term die in Nederlandse bronnen voorkomt en gebruikt wordt om het handelen of de methode te beschrijven waarbij een specifieke functie wordt gekozen of geconstrueerd. De exacte betekenis is afhankelijk van het vakgebied; in de wiskunde verwijst functiekeuze vaak naar het selecteren van een functionele bouwsteen uit een verzameling mogelijkheden, terwijl in de informatica sprake kan zijn van het kiezen tussen verschillende implementaties van een functie of van hoger-orde functies die een andere functie als argument kiezen.

In de wiskunde wordt onder meer gesproken over een keuzefunctie (of functiekeuze) die aan elke niet-lege verzameling uit een familie een specifiek element toewijst. Deze gedachte is verbonden met het bestaan van een keuzefunctie en daarmee met het axiom van keuze: zonder zo’n axiom kan zo’n functiekeuze in het algemeen niet worden gegarandeerd. In praktische termen betekent dit dat men er soms van uitgaat dat er een manier is om uit elke relevante verzameling een element te kiezen, terwijl dit in andere systemen niet noodzakelijkerwijs kan.

In de computerwetenschappen kan functiekeuze betrekking hebben op het ontwerp van software die bepaalt welke functie wordt aangeroepen. Voorbeelden zijn het kiezen van een implementatie op basis van context, of het gebruik van higher-order functies die een andere functie selecteren of genereren. Dit komt overeen met patronen zoals het strategiepatroon, of met functional programming concepten waarin functies als first-class citizens worden gebruikt om gedrag te selecteren.

Zie ook: keuzefunctie, axioma van keuze, hoog niveau functies, strategiepatroon.