Funktionell programmering

Funktionell programmering är en form av programmering inom vilken program konstrueras genom komposition av matematiska funktioner, och exekvering innebär att funktionerna utvärderas.^[1] Detta kan kontrasteras med procedurell och imperativ programmering, där datorn instrueras att utföra instruktioner sekventiellt. Det finns ett flera funktionella programspråk.

Funktionell programmering har sitt ursprung i Lambdakalkylen, som utvecklades på 1930-talet av Alonzo Church. Det äldsta funktionella språket är Lisp,^[2] vilket utvecklades på 1960-talet och näst Fortran är det äldsta programspråket som fortfarande används i större utsträckning. Det finns flera varianter av Lisp, däribland Common Lisp, Logo, Scheme, Dylan och Clojure. Till de moderna funktionella språken hör Haskell, ML (samt versioner av detta), Erlang, Clean, Miranda och F#.

• Det lämpar sig väl för avancerade programmeringstekniker som funktioner av högre ordning och polymorfism.
• Frånvaron av sidoeffekter minskar risken för buggar och gör program mer modulära.
• Det blir lättare att bevisa att ett program är korrekt, det vill säga gör vad det är avsett att göra.
• Optimeringstekniker som till exempel memoisation och lat evaluering kan tillämpas.^[1]
• Funktionella program lämpar sig väl för automatiserad analys.

• Funktionella språk kan vara ineffektiva jämfört med imperativa språk, framför allt vid användning av komplicerade datastrukturer.
• Funktionella program använder tekniker som många programmerare finner svåra att förstå och tillämpa, som rekursion, funktioner av högre ordning och polymorfism.
• In- och utmatning (till exempel text, grafik och styrning av hårdvara) kan bli problematiskt i funktionella språk.
• Stora lösningar blir svåra att överblicka och underhålla jämfört med objektorienterade språk.