Funktionell programmering
Wikipedia
Funktionell programmering är en form av programmering inom vilken program konstrueras genom komposition av matematiska funktioner, och exekvering innebär att funktionerna utvärderas. Detta kan kontrasteras med procedurell och imperativ programmering, där datorn instrueras att utföra instruktioner sekventiellt. Det finns ett flertal funktionella programspråk.
Funktionell programmering har flera fördelar:
- Den 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, dvs. gör vad det är avsett att göra
- Optimeringstekniker som till exempel memoisation och lat evaluering kan tillämpas
- Funktionella program lämpar sig väl för automatiserad analys
Till nackdelarna hör:
- Funktionella språk kan vara ineffektiva jämfört med procedurella, 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 (t ex text, grafik och styrning av hårdvara) är problematiskt i funktionella språk
Funktionell programmering har sitt ursprung i Lambdakalkylen, som utvecklades på 1930-talet av Alonzo Church. Det äldsta funktionella språket är Lisp, 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 och Dylan. Till de moderna funktionella språken hör Haskell, ML (samt versioner av detta), Erlang, Clean och Miranda.
