Funksjonstypen

Funksjonstypen er begrepet i programmeringsspråkenes type-system som beskriver hva slags data en funksjon tar som inngang og hva den returnerer. Den gir et rammeverk for å forstå og verifisere sammensetningen av funksjoner og for å støtte generiske løsninger.

Notasjon: I mange språk skrives funksjonstypen som A -> B. Dersom en funksjon tar flere argumenter, finnes to vanlige måter: currying (A -> B -> C) eller som en funksjon som tar et tuppel (A1, A2) -> B. Noen språk bruker forskjellige syntakser, for eksempel TypeScript: (x: number) => string, eller Haskell: A -> B, eller Java: Function<A,B> i generisk form.

Høyereordnede funksjoner: funksjonstyper kan ta eller returnere andre funksjoner. Dette muliggjør abstraksjoner som map og compose. En enkel polymorf funksjon er identitetsfunksjonen id: for alle A. A -> A.

Type inference og anvendelse: i flere språk kan kompilatoren utlede typer fra bruken, noe som reduserer behovet for eksplisitte annotasjoner. Funksjonstyper bidrar til sikkerhet, feilsøking og komponentbasert design, men kan være utfordrende ved subtyping og ved avhengige typer.