funksjonstype
Funksjonstype, eller funksjonstype, er typen som beskriver en funksjon ved hva slags input den tar og hvilket output den returnerer. I typer og programmeringsspråk står den som et byggestein for å sikre riktig bruk av funksjoner og for å muliggjøre statisk typekontroll. En enkel funksjonstype betegnes ofte som A -> B, der A er inputtypen og B er outputtypen.
I praksis uttrykkes funksjonstyper i forskjellige språk på litt forskjellige måter. Mange språk bruker kurøring, der
Eksempel: i Haskell har en addisjon funksjonstypen Int -> Int -> Int. En definisjon som add x y
Høyereordens funksjoner er også vanlige: funksjoner som tar andre funksjoner som argumenter eller returnerer dem. Funksjonstyper
Betydningen av funksjonstype strekker seg fra matematikk til moderne programmering ved å oppgi nøyaktig hva som