Funktionsprogrammering
From Wikipedia, the free encyclopedia
Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.
![]() | Denne artikel har flere problemer. Hjælp med at løse dem eller diskutér problemerne på diskussionssiden. (Se hvornår og hvordan denne besked kan fjernes)
|
Resultatet af et program er i denne sammenhæng returværdien fra en funktion anvendt på en værdi.
Værdiorienteret programmering er et andet navn på funktionsorienteret programmering; (Værdi henspeiler på, at resultatet af et program er i denne sammenhæng returværdien fra en funktion anvendt på en værdi.) Værdiorienteret programmering tilhører genren deklarativ programmering fordi man erklærer (eng. declare) hvad man gerne vil beregne frem for hvordan det skal beregnes.
Bag funktionsorienteret programmering ligger den abstrakte model Lambda-kalkylen. Denne model står historisk i kontrast til den abstrakte model Turing-maskinen, som er udgangspunktet for det mere udbredte programmeringsparadigme, imperativ programmering (eller tilstandsorienteret programmering). Selvom de to paradigmer har forskellige abstrakte modeller, så viste Church-Turing-tesen at de er ækvivalente: At enhver beregning som den ene model kan beskrive, kan den anden også beskrive, og omvendt.