Funksjonattributter

Funksjonattributter er egenskapene og karakteristikkene som beskriver og begrenser en funksjon. Begrepet brukes i både matematikk og informatikk og omfatter informasjon som identifiserer hvordan funksjonen oppfører seg, hva den tar som input, og hva den gir som output.

I matematikk omfatter vanlige attributter domene og kodomene, bildet og preimage, samt presiseringer som injektivitet, surjektivitet og bijektivitet. Andre viktige egenskaper er monotonitet, konveksitet, kontinuitet og differentiabilitet, samt integrerbarhet. Videre kan man beskrive symmetri (paritet), periodisitet og begrensning (multiplisitet, grenseverdier og asymptotisk oppførsel). Disse attributtene brukes til å klassifisere funksjoner og til å analysere deres adferd og begrensninger.

I informatikk kan funksjonattributter inkludere aritet (antall inngangsparametre), deterministisk/ikke-deterministisk natur, puritet og sideeffekter, strøk eller streng evaluering, og eventuell feilhåndtering eller unntaksatferd. Andre relevante karakteristikker er totalitet, terminering og om funksjonen er muterbar eller immutabel, samt om den kjører i sanntid (realiserer tidskrav). I moderne språk kan attributter også beskrive ytelse, optimaliseringstillatelser (f.eks. inline), samt samtidighets- eller asynkron oppførsel.

Et eksempel er funksjonen f(x) = x^2: domene og kodomene er ofte R -> R, bildet er [0, ∞), den er ikke injektiv fordi f(a)=f(-a), men den er kontinuerlig og differentiabel. Funksjonattributter hjelper dermed å forstå, dokumentere og analysere funksjoners adferd i ulike kontekster.