View source for कार्यात्मक प्रोग्रामिंग

{{Short description|Programming paradigm based on applying and composing functions}}
{{For|subroutine-oriented programming|Procedural programming}}

[[कंप्यूटर विज्ञान]] में, कार्यात्मक प्रोग्रामिंग एक [[प्रोग्रामिंग प्रतिमान]] है जहां प्रोग्राम का निर्माण [[फ़ंक्शन अनुप्रयोग]] और [[फ़ंक्शन संरचना (कंप्यूटर विज्ञान)]] फ़ंक्शन (कंप्यूटर विज्ञान) द्वारा किया जाता है। यह एक [[घोषणात्मक प्रोग्रामिंग]] प्रतिमान है जिसमें फ़ंक्शन परिभाषाएं [[अभिव्यक्ति (कंप्यूटर विज्ञान)]] के [[वृक्ष (डेटा संरचना)]] हैं जो [[अनिवार्य प्रोग्रामिंग]] स्टेटमेंट (कंप्यूटर विज्ञान) के अनुक्रम के बजाय [[मूल्य (कंप्यूटर विज्ञान)]] को अन्य मूल्यों पर मैप करती हैं जो राज्य को अद्यतन करती हैं (कंप्यूटर विज्ञान) कार्यक्रम का।

कार्यात्मक प्रोग्रामिंग में, फ़ंक्शंस को प्रथम श्रेणी के नागरिकों के रूप में माना जाता है, जिसका अर्थ है कि उन्हें नामों (स्थानीय पहचानकर्ता (कंप्यूटर भाषाओं सहित)) से जोड़ा जा सकता है, [[पैरामीटर (कंप्यूटर प्रोग्रामिंग)]] के रूप में पारित किया जा सकता है, और अन्य फ़ंक्शंस से रिटर्न मान, किसी भी अन्य की तरह [[डेटा प्रकार]] कर सकते हैं. यह प्रोग्रामों को घोषणात्मक प्रोग्रामिंग और [[रचनाशीलता]] शैली में लिखने की अनुमति देता है, जहां छोटे कार्यों को [[मॉड्यूलर प्रोग्रामिंग]] तरीके से संयोजित किया जाता है।

कार्यात्मक प्रोग्रामिंग को कभी-कभी पूरी तरह कार्यात्मक प्रोग्रामिंग के पर्याय के रूप में माना जाता है, कार्यात्मक प्रोग्रामिंग का एक उपसमूह जो सभी कार्यों को नियतात्मक प्रणाली गणितीय [[फ़ंक्शन (गणित)]], या [[शुद्ध कार्य]]ों के रूप में मानता है। जब किसी शुद्ध फ़ंक्शन को कुछ दिए गए तर्कों के साथ कॉल किया जाता है, तो यह हमेशा एक ही परिणाम देगा, और किसी भी परिवर्तनशील स्थिति (कंप्यूटर विज्ञान) या अन्य साइड इफेक्ट (कंप्यूटर विज्ञान) से प्रभावित नहीं हो सकता है। यह अशुद्ध [[प्रक्रिया (कंप्यूटर विज्ञान)]] के विपरीत है, जो अनिवार्य प्रोग्रामिंग में आम है, जिसके दुष्प्रभाव हो सकते हैं (जैसे प्रोग्राम की स्थिति को संशोधित करना या उपयोगकर्ता से इनपुट लेना)। [[विशुद्ध रूप से कार्यात्मक प्रोग्रामिंग]] के समर्थकों का दावा है कि साइड इफेक्ट्स को सीमित करके, प्रोग्राम में [[सॉफ़्टवेयर बग]] कम हो सकते हैं, [[डिबगिंग]] और [[सॉफ़्टवेयर परीक्षण]] आसान हो सकते हैं, और [[औपचारिक सत्यापन]] के लिए अधिक उपयुक्त हो सकते हैं।<ref name="hudak1989">{{cite journal |last=Hudak |first=Paul |author-link=Paul Hudak |title=कार्यात्मक प्रोग्रामिंग भाषाओं की संकल्पना, विकास और अनुप्रयोग|journal=ACM Computing Surveys|volume=21|issue=3 |pages=359–411 |date=September 1989 |url=http://www.dbnet.ece.ntua.gr/~adamo/languages/books/p359-hudak.pdf|doi=10.1145/72551.72554 |s2cid=207637854}}</ref><ref name="hughesWhyFPMatters"/>

कार्यात्मक प्रोग्रामिंग की जड़ें [[एकेडेमिया]] क्षेत्र में हैं, जो [[लैम्ब्डा कैलकुलस]] से विकसित हुई है, जो केवल कार्यों पर आधारित गणना की एक औपचारिक प्रणाली है। कार्यात्मक प्रोग्रामिंग ऐतिहासिक रूप से अनिवार्य प्रोग्रामिंग की तुलना में कम लोकप्रिय रही है, लेकिन आज उद्योग और शिक्षा में कई कार्यात्मक भाषाओं का उपयोग देखा जा रहा है, जिनमें [[ सामान्य लिस्प ]], स्कीम (प्रोग्रामिंग भाषा) शामिल हैं।<ref name="clinger1987"/><ref name="hartheimer1987"/><ref name="kidd2007"/><ref name="cleis2006"/>[[क्लोजर]], [[वोल्फ्राम भाषा]],<ref name="reference.wolfram.com">{{cite web |title=Wolfram Language Guide: Functional Programming |url=http://reference.wolfram.com/language/guide/FunctionalProgramming.html |year=2015 |access-date=2015-08-24}}</ref><ref name="Amath-CO"/>[[रैकेट (प्रोग्रामिंग भाषा)]],<ref name="racket-video-games"/>[[एरलांग (प्रोग्रामिंग भाषा)]],<ref name="erlang-faq"/><ref name="armstrong2007"/><ref name="larson2009"/>[[अमृत (प्रोग्रामिंग भाषा)]],<ref>{{Cite web|title=अमृत प्रोग्रामिंग भाषा|url=https://elixir-lang.org/|access-date=2021-02-14}}</ref> [[ओकैमल]],<ref name="minksy2008"/><ref name="leroy2007"/>[[हास्केल]],<ref name="haskell-industry"/><ref name="hudak2007"/>और एफ शार्प (प्रोग्रामिंग भाषा)|एफ#।<ref name="quantFSharp">{{cite conference |last=Mansell |first=Howard |title=एफ# में मात्रात्मक वित्त|url=http://cufp.galois.com/2008/abstracts.html#MansellHoward |year=2008 |conference=CUFP 2008 |access-date=2009-08-29}}</ref><ref name="businessAppsFSharp">{{cite conference |last=Peake |first=Alex |title=एफ# में व्यावसायिक अनुप्रयोग की पहली महत्वपूर्ण पंक्ति|url=http://cufp.galois.com/2009/abstracts.html#AlexPeakeAdamGranicz |year=2009 |conference=CUFP 2009 |access-date=2009-08-29 |archive-url=https://web.archive.org/web/20091017070140/http://cufp.galois.com/2009/abstracts.html#AlexPeakeAdamGranicz |archive-date=2009-10-17 |url-status=dead}}</ref> कार्यात्मक प्रोग्रामिंग कुछ भाषाओं के लिए भी महत्वपूर्ण है जिन्हें विशिष्ट डोमेन में सफलता मिली है, जैसे वेब में [[जावास्क्रिप्ट]],<ref>{{Cite web|last=comments|first=27 Jun 2017 Matt Banz Feed 603up 2|title=जावास्क्रिप्ट में कार्यात्मक प्रोग्रामिंग का परिचय|url=https://opensource.com/article/17/6/functional-javascript|access-date=2021-01-09|website=Opensource.com|language=en}}</ref> सांख्यिकी में [[आर (प्रोग्रामिंग भाषा)]],<ref name="useR"/><ref name="Chambers"/>वित्तीय विश्लेषण में J (प्रोग्रामिंग भाषा), K (प्रोग्रामिंग भाषा) और Q (Kx सिस्टम्स से प्रोग्रामिंग भाषा), और [[XML]] के लिए [[XQuery]]/[[XSLT]]।<ref name="Novatchev"/><ref name="Mertz"/>[[SQL]] और Lex (सॉफ़्टवेयर)/[[Yacc]] जैसी डोमेन-विशिष्ट घोषणात्मक भाषाएँ कार्यात्मक प्रोग्रामिंग के कुछ तत्वों का उपयोग करती हैं, जैसे परिवर्तनशील ऑब्जेक्ट की अनुमति नहीं देना।<ref name="Chamberlin_Boyce"/>इसके अलावा, कई अन्य प्रोग्रामिंग भाषाएं कार्यात्मक शैली में प्रोग्रामिंग का समर्थन करती हैं या कार्यात्मक प्रोग्रामिंग से सुविधाओं को कार्यान्वित करती हैं, जैसे [[सी++11]], सी शार्प (प्रोग्रामिंग भाषा)|सी#,<ref>{{Citation|title=Functional Programming with C# - Simon Painter - NDC Oslo 2020|url=https://www.youtube.com/watch?v=gvyTB4aMI4o| archive-url=https://ghostarchive.org/varchive/youtube/20211030/gvyTB4aMI4o| archive-date=2021-10-30|language=en|access-date=2021-10-23}}{{cbignore}}</ref> [[कोटलिन (प्रोग्रामिंग भाषा)]],<ref name=":0">{{Cite web|url=https://kotlinlang.org/docs/tutorials/kotlin-for-py/functional-programming.html|title=कार्यात्मक प्रोग्रामिंग - कोटलिन प्रोग्रामिंग भाषा|website=Kotlin|access-date=2019-05-01}}</ref> [[पर्ल]],<ref>{{cite book |last=Dominus |first=Mark J. |author-link=Mark Jason Dominus |title=उच्च-क्रम पर्ल|publisher=[[Morgan Kaufmann]] |year=2005 |isbn=978-1-55860-701-9 |title-link=Higher-Order Perl}}</ref> [[पीएचपी]],<ref>{{cite book |last=Holywell |first=Simon |title=PHP में कार्यात्मक प्रोग्रामिंग|publisher=php[architect] |year=2014 |isbn=9781940111056}}</ref> [[पायथन (प्रोग्रामिंग भाषा)]],<ref name="AutoNT-13">{{cite web |url=https://www.python.org/community/pycon/dc2004/papers/24/metaclasses-pycon.pdf |archive-url=https://web.archive.org/web/20090530030205/http://www.python.org/community/pycon/dc2004/papers/24/metaclasses-pycon.pdf |archive-date=30 May 2009 |title=Python Metaclasses: Who? Why? When? |last=The Cain Gang Ltd. |access-date=27 June 2009 |url-status=dead |df=dmy-all}}</ref> [[जाओ (प्रोग्रामिंग भाषा)]],<ref>{{Cite web|last=|first=|date=|title=GopherCon 2020: Dylan Meeus - Functional Programming with Go|url=https://www.youtube.com/watch?v=wqs8n5Uk5OM|access-date=|website=YouTube}}</ref> [[जंग (प्रोग्रामिंग भाषा)]],<ref>{{Cite web|title=Functional Language Features: Iterators and Closures - The Rust Programming Language|url=https://doc.rust-lang.org/book/ch13-00-functional-features.html|access-date=2021-01-09|website=doc.rust-lang.org}}</ref> [[राकू (प्रोग्रामिंग भाषा)]],<ref>{{cite web|last=Vanderbauwhede |first=Wim |url=https://wimvanderbauwhede.github.io/articles/decluttering-with-functional-programming/|archive-url=https://web.archive.org/web/20200728013926/https://wimvanderbauwhede.github.io/articles/decluttering-with-functional-programming/|archive-date=28 July 2020|title=कार्यात्मक प्रोग्रामिंग के साथ क्लीनर कोड|date=18 July 2020 |access-date=6 October 2020}}</ref> [[स्काला (प्रोग्रामिंग भाषा)]],<ref name="effective-scala"/>और [[जावा (प्रोग्रामिंग भाषा)]]|जावा (जावा 8 के बाद से)।<ref name="java-8-javadoc"/>


== इतिहास ==
1930 के दशक में [[अलोंजो चर्च]] द्वारा विकसित लैम्ब्डा कैलकुलस, फ़ंक्शन एप्लिकेशन से निर्मित [[गणना]] की एक [[औपचारिक प्रणाली]] है। 1937 में [[एलन ट्यूरिंग]] ने साबित किया कि लैम्ब्डा कैलकुलस और [[ट्यूरिंग मशीनें]] गणना के समकक्ष मॉडल हैं,<ref>{{cite journal|first=A. M.|last=Turing|doi=10.2307/2268280|title=Computability and λ-definability|year=1937|journal=The Journal of Symbolic Logic|pages=153–163|volume=2|issue=4|publisher=Cambridge University Press|jstor=2268280|s2cid=2317046}}</ref> यह दर्शाता है कि लैम्ब्डा कैलकुलस [[ट्यूरिंग पूर्ण]] है। लैम्ब्डा कैलकुलस सभी कार्यात्मक प्रोग्रामिंग भाषाओं का आधार बनता है। एक समकक्ष सैद्धांतिक सूत्रीकरण, संयोजन तर्क, 1920 और 1930 के दशक में मूसा शॉनफिंकेल और [[हास्केल करी]] द्वारा विकसित किया गया था।<ref>{{cite book|author1=Haskell Brooks Curry|author2=Robert Feys|title=संयोजनात्मक तर्क|url=https://archive.org/details/combinatorylogic0002curr|url-access=registration|access-date=10 February 2013|year=1958|publisher=North-Holland Publishing Company}}</ref>
चर्च ने बाद में एक कमजोर प्रणाली विकसित की, सरल रूप से टाइप किया गया लैम्ब्डा कैलकुलस, जिसने सभी शब्दों के लिए एक डेटा प्रकार निर्दिष्ट करके लैम्ब्डा कैलकुलस का विस्तार किया।<ref>{{cite journal |last1=Church |author-link=Alonzo Church |first1=A. |year=1940 |title=प्रकारों के सरल सिद्धांत का सूत्रीकरण|journal=Journal of Symbolic Logic |volume=5 |issue=2 |pages=56–68 |doi=10.2307/2266170 |jstor=2266170| s2cid=15889861}}</ref> यह स्थिर रूप से टाइप की गई कार्यात्मक प्रोग्रामिंग का आधार बनता है।

पहली उच्च-स्तरीय प्रोग्रामिंग भाषा|उच्च-स्तरीय कार्यात्मक प्रोग्रामिंग भाषा, [[लिस्प (प्रोग्रामिंग भाषा)]], 1950 के दशक के अंत में जॉन मैक्कार्थी द्वारा आईबीएम 700/7000 श्रृंखला#वैज्ञानिक वास्तुकला|आईबीएम 700/7000 श्रृंखला के वैज्ञानिक कंप्यूटरों के लिए विकसित की गई थी। कंप्यूटर वैज्ञानिक) [[मैसाचुसेट्स की तकनीकी संस्था]] (एमआईटी) में रहते हुए।<ref>{{cite conference |first=John |last=McCarthy |author-link=John McCarthy (computer scientist) |title=लिस्प का इतिहास|journal=History of Programming Languages |pages=173–185 |date=June 1978 |url=http://jmc.stanford.edu/articles/lisp/lisp.pdf|doi=10.1145/800025.808387 |place=Los Angeles, CA}}</ref> लिस्प फ़ंक्शंस को चर्च के लैम्ब्डा नोटेशन का उपयोग करके परिभाषित किया गया था, जिसे [[रिकर्सन (कंप्यूटर विज्ञान)]] फ़ंक्शंस की अनुमति देने के लिए एक लेबल निर्माण के साथ बढ़ाया गया था।<ref>{{cite journal|author=John McCarthy|author-link=John McCarthy (computer scientist)|title=प्रतीकात्मक अभिव्यक्तियों के पुनरावर्ती कार्य और मशीन द्वारा उनकी गणना, भाग I।|journal=Communications of the ACM|volume=3|issue=4|year=1960|pages=184–195|url=http://jmc.stanford.edu/articles/recursive/recursive.pdf|publisher=ACM New York, NY, US|doi=10.1145/367177.367199|s2cid=1489409}}</ref> लिस्प ने सबसे पहले कार्यात्मक प्रोग्रामिंग की कई प्रतिमानात्मक विशेषताएं पेश कीं, हालांकि शुरुआती लिस्प्स प्रोग्रामिंग प्रतिमान#मल्टी-पैराडाइम|मल्टी-पैराडाइम भाषाएं थीं, और नए प्रतिमान विकसित होने के साथ-साथ कई प्रोग्रामिंग शैलियों के लिए समर्थन शामिल किया गया। बाद की बोलियाँ, जैसे स्कीम (प्रोग्रामिंग भाषा) और क्लोजर, और [[डायलन (प्रोग्रामिंग भाषा)]] और [[जूलिया (प्रोग्रामिंग भाषा)]] जैसी शाखाओं ने लिस्प को एक साफ-सुथरे कार्यात्मक कोर के आसपास सरल और तर्कसंगत बनाने की मांग की, जबकि कॉमन लिस्प को संरक्षित और अद्यतन करने के लिए डिज़ाइन किया गया था। इसके द्वारा प्रतिस्थापित कई पुरानी बोलियों की प्रतिमानात्मक विशेषताएं।<ref>{{cite book|author1=Guy L. Steele |author2=Richard P. Gabriel |title=प्रोग्रामिंग भाषाओं का इतिहास---II|chapter=The evolution of Lisp |pages= 233–330 |date=February 1996 |url=http://dreamsongs.com/Files/HOPL2-Uncut.pdf |doi= 10.1145/234286.1057818 |isbn=978-0-201-89502-5 |s2cid=47047140}}</ref>
[[सूचना प्रसंस्करण भाषा]] (आईपीएल), 1956, को कभी-कभी पहली कंप्यूटर-आधारित कार्यात्मक प्रोग्रामिंग भाषा के रूप में उद्धृत किया जाता है।<ref>The memoir of [[Herbert A. Simon]] (1991), ''Models of My Life'' pp.189-190 {{ISBN|0-465-04640-1}} claims that he, Al Newell, and Cliff Shaw are "...commonly adjudged to be the parents of [the] artificial intelligence [field]," for writing [[Logic Theorist]], a program that proved theorems from ''[[Principia Mathematica]]'' automatically. To accomplish this, they had to invent a language and a paradigm that, viewed retrospectively, embeds functional programming.</ref> यह प्रतीकों की सूचियों में हेरफेर करने के लिए एक असेंबली भाषा | असेंबली-शैली की भाषा है। इसमें जेनरेटर की अवधारणा है, जो एक ऐसे फ़ंक्शन के बराबर है जो एक फ़ंक्शन को एक तर्क के रूप में स्वीकार करता है, और, चूंकि यह एक असेंबली-स्तरीय भाषा है, कोड डेटा हो सकता है, इसलिए आईपीएल को उच्च-क्रम वाले फ़ंक्शन के रूप में माना जा सकता है। हालाँकि, यह परिवर्तनशील सूची संरचना और समान अनिवार्य विशेषताओं पर बहुत अधिक निर्भर करता है।

केनेथ ई. इवरसन ने 1960 के दशक की शुरुआत में [[एपीएल (प्रोग्रामिंग भाषा)]] विकसित किया, जिसका वर्णन उनकी 1962 की पुस्तक ए प्रोग्रामिंग लैंग्वेज ({{ISBN|9780471430148}}). [[जॉन बैकस]] की [[एफपी (प्रोग्रामिंग भाषा)]] पर एपीएल का प्राथमिक प्रभाव था। 1990 के दशक की शुरुआत में, इवरसन और [[रोजर हुई]] ने जे (प्रोग्रामिंग भाषा) बनाई। 1990 के दशक के मध्य में, [[आर्थर व्हिटनी (कंप्यूटर वैज्ञानिक)]], जिन्होंने पहले इवरसन के साथ काम किया था, ने K (प्रोग्रामिंग भाषा) बनाई, जिसका उपयोग इसके वंशज Q (Kx सिस्टम्स से प्रोग्रामिंग भाषा) के साथ वित्तीय उद्योगों में व्यावसायिक रूप से किया जाता है।

1960 के दशक के मध्य में, [[पीटर लैंडिन]] ने SECD मशीन का आविष्कार किया,<ref>{{cite journal
| last=Landin
| first=Peter J.
| year=1964
| title=The mechanical evaluation of expressions
| journal=[[The Computer Journal]]
| volume=6
| issue=4
| pages=308–320
| publisher=[[British Computer Society]]
| doi=10.1093/comjnl/6.4.308
| doi-access=free
}}</ref> कार्यात्मक प्रोग्रामिंग भाषा के लिए पहली [[अमूर्त मशीन]],<ref>{{Cite book |last1=Diehl |first1=Stephan |last2=Hartel |first2=Pieter |last3=Sestoft |first3=Peter |date=2000 |chapter=Abstract machines for programming language implementation |title=भविष्य की पीढ़ी के कंप्यूटर सिस्टम|volume=16 |issue=7 |pages=739–751}}</ref> [[ALGOL 60]] और लैम्ब्डा कैलकुलस के बीच एक पत्राचार का वर्णन किया,<ref>{{cite journal
| last=Landin
| first=Peter J.
|date=February 1965a
| title=Correspondence between ALGOL 60 and Church's Lambda-notation: part I
| journal=[[Communications of the ACM]]
| volume=8
| issue=2
| pages=89–101
| publisher=[[Association for Computing Machinery]]
| doi=10.1145/363744.363749
| s2cid=6505810
| doi-access=free
}}</ref><ref>{{cite journal
| last=Landin
| first=Peter J.
|date=March 1965b
| title=A correspondence between ALGOL 60 and Church's Lambda-notation: part II
| journal=[[Communications of the ACM]]
| volume=8
| issue=3
| pages=158–165
| publisher=[[Association for Computing Machinery]]
| doi=10.1145/363791.363804
| s2cid=15781851
| doi-access=free
}}</ref> और [[ISWIM]] प्रोग्रामिंग भाषा का प्रस्ताव रखा।<ref>{{cite journal
| last=Landin
| first=Peter J.
| date=March 1966b
| title=The next 700 programming languages
| journal=[[Communications of the ACM]]
| volume=9
| issue=3
| pages=157–166
| publisher=[[Association for Computing Machinery]]
| doi=10.1145/365230.365257
| s2cid=13409665
| doi-access=free
}}</ref>
जॉन बैकस ने अपने 1977 के [[ ट्यूरिंग पुरस्कार ]] व्याख्यान में एफपी (प्रोग्रामिंग भाषा) प्रस्तुत किया क्या प्रोग्रामिंग को [[वॉन न्यूमैन वास्तुकला]] शैली से मुक्त किया जा सकता है? एक कार्यात्मक शैली और उसके कार्यक्रमों का बीजगणित।<ref name="Backus 1977">{{Cite journal |doi=10.1145/359576.359579| title=Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs| journal=Communications of the ACM| volume=21| issue=8| pages=613–641| year=1978| last1=Backus |first1=J. |doi-access=free}}</ref> वह कार्यात्मक कार्यक्रमों को उन रूपों के संयोजन के माध्यम से पदानुक्रमित तरीके से निर्मित होने के रूप में परिभाषित करता है जो कार्यक्रमों के बीजगणित की अनुमति देते हैं; आधुनिक भाषा में, इसका मतलब है कि कार्यात्मक कार्यक्रम संरचना के सिद्धांत का पालन करते हैं।{{Citation needed|reason=I dont completely agree with this interpretation of John Backus definition of functional programs, which I feel is widely misunderstood. As he is very sadly no longer alive, we can't ask him, but a reference for this interpretation, especially if it includes a justification, would be very beneficial.|date=February 2017}} बैकस के पेपर ने कार्यात्मक प्रोग्रामिंग में अनुसंधान को लोकप्रिय बनाया, हालांकि इसने अब कार्यात्मक प्रोग्रामिंग से जुड़े लैम्ब्डा-कैलकुलस शैली के बजाय [[फ़ंक्शन-स्तरीय प्रोग्रामिंग]] पर जोर दिया।

1973 भाषा [[एमएल (प्रोग्रामिंग भाषा)]] [[एडिनबर्ग विश्वविद्यालय]] में [[रॉबिन मिलनर]] द्वारा बनाई गई थी, और [[डेविड टर्नर (कंप्यूटर वैज्ञानिक)]] ने सेंट एंड्रयूज विश्वविद्यालय में [[एसएएसएल (प्रोग्रामिंग भाषा)]] भाषा विकसित की थी। इसके अलावा 1970 के दशक में एडिनबर्ग में बर्स्टॉल और डार्लिंगटन ने कार्यात्मक भाषा [[एनपीएल (प्रोग्रामिंग भाषा)]] विकसित की।<ref>R.M. Burstall. Design considerations for a functional programming language. Invited paper, Proc. Infotech State of the Art Conf. "The Software Revolution", Copenhagen, 45–57 (1977)</ref> एनपीएल क्लेन के रिकर्सन प्रमेय पर आधारित था और इसे पहली बार कार्यक्रम परिवर्तन पर उनके काम में पेश किया गया था।<ref>R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery 24(1):44–67 (1977)</ref> इसके बाद बर्स्टॉल, मैकक्वीन और सैनेला ने होप (प्रोग्रामिंग भाषा) भाषा तैयार करने के लिए एमएल से बहुरूपी प्रकार की जांच को शामिल किया।<ref>R.M. Burstall, D.B. MacQueen and D.T. Sannella. HOPE: an experimental applicative language. Proc. 1980 LISP Conference, Stanford, 136–143 (1980).</ref> एमएल अंततः कई बोलियों में विकसित हुआ, जिनमें से सबसे आम अब ओकैमल और [[ मानक एमएल ]] हैं।

1970 के दशक में, गाइ एल. स्टील और [[गेराल्ड जे सुसमैन]] ने स्कीम (प्रोग्रामिंग भाषा) विकसित की, जैसा कि [[लैम्ब्डा पेपर्स]] और 1985 की पाठ्यपुस्तक [[कंप्यूटर प्रोग्राम की संरचना और व्याख्या]] में वर्णित है। स्कीम लिस्प की पहली बोली थी जिसमें [[ शाब्दिक दायरा ]] का उपयोग किया गया था और [[टेल-कॉल अनुकूलन]] की आवश्यकता थी, ऐसी विशेषताएं जो कार्यात्मक प्रोग्रामिंग को प्रोत्साहित करती थीं।

1980 के दशक में, पेर मार्टिन-लोफ ने अंतर्ज्ञानवादी प्रकार सिद्धांत (जिसे रचनात्मक प्रकार सिद्धांत भी कहा जाता है) विकसित किया, जो कार्यात्मक कार्यक्रमों को [[रचनात्मक प्रमाण]]ों के साथ [[आश्रित प्रकार]]ों के रूप में व्यक्त करता था। इससे इंटरैक्टिव प्रमेय सिद्ध करने के लिए नए दृष्टिकोण सामने आए और बाद की कार्यात्मक प्रोग्रामिंग भाषाओं के विकास पर प्रभाव पड़ा।{{citation needed|date=July 2018}}

डेविड टर्नर द्वारा विकसित आलसी कार्यात्मक भाषा, [[मिरांडा (प्रोग्रामिंग भाषा)]], शुरू में 1985 में सामने आई और हास्केल पर इसका गहरा प्रभाव पड़ा। मिरांडा के स्वामित्व के साथ, हास्केल ने 1987 में कार्यात्मक प्रोग्रामिंग अनुसंधान के लिए एक [[खुला मानक]] बनाने के लिए आम सहमति से शुरुआत की; कार्यान्वयन रिलीज़ 1990 से जारी है।

हाल ही में इसे [[सीजीएएल]] फ्रेमवर्क पर निर्मित [[ओपनएससीएडी]] भाषा में पैरामीट्रिक [[कंप्यूटर एडेड डिजाइन]] जैसे क्षेत्रों में उपयोग पाया गया है, हालांकि मूल्यों को पुन: निर्दिष्ट करने पर इसके प्रतिबंध (सभी मूल्यों को स्थिरांक के रूप में माना जाता है) ने उन उपयोगकर्ताओं के बीच भ्रम पैदा कर दिया है जो कार्यात्मक प्रोग्रामिंग से अपरिचित हैं। एक अवधारणा के रूप में.<ref>{{cite web|url=https://forum.openscad.org/Make-discovering-assign-easier-td10964.html|website=OpenSCAD|title =असाइन() को खोजना आसान बनाएं!|archive-url=https://web.archive.org/web/20230419060430/https://forum.openscad.org/Make-discovering-assign-easier-td10964.html |archive-date=2023-04-19 }}</ref>
व्यावसायिक सेटिंग में कार्यात्मक प्रोग्रामिंग का उपयोग जारी है।<ref>{{cite web |url=https://arstechnica.com/gadgets/2018/03/developers-love-trendy-new-languages-but-earn-more-with-functional-programming/ |title=डेवलपर्स ट्रेंडी नई भाषाओं को पसंद करते हैं लेकिन कार्यात्मक प्रोग्रामिंग के साथ अधिक कमाते हैं|author=Peter Bright |date=March 13, 2018 |website=[[Ars Technica]]}}</ref><ref>{{cite web |url=https://www.computing.co.uk/ctg/analysis/3003123/the-slow-but-steady-rise-of-functional-programming |title=कार्यात्मक प्रोग्रामिंग का गुप्त उदय|author=John Leonard |date=January 24, 2017 |publisher=Computing}}</ref><ref>{{cite magazine |url=https://www.infoworld.com/article/3190185/software/is-functional-programming-better-for-your-startup.html |title=Is functional programming better for your startup? |author=Leo Cheung |date=May 9, 2017 |magazine=[[InfoWorld]]}}</ref>


== अवधारणाएँ ==
अनेक अवधारणाएँ<ref>Sean Tull - Monoidal Categories for Formal Concept Analysis.</ref> और प्रतिमान कार्यात्मक प्रोग्रामिंग के लिए विशिष्ट हैं, और आम तौर पर अनिवार्य प्रोग्रामिंग ([[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] सहित) के लिए विदेशी हैं। हालाँकि, प्रोग्रामिंग भाषाएँ अक्सर कई प्रोग्रामिंग प्रतिमानों को पूरा करती हैं, इसलिए ज्यादातर अनिवार्य भाषाओं का उपयोग करने वाले प्रोग्रामर ने इनमें से कुछ अवधारणाओं का उपयोग किया होगा।<ref>{{cite web |url=http://byte.com/art/9408/sec11/art1.htm |archive-url=https://web.archive.org/web/20060827094123/http://byte.com/art/9408/sec11/art1.htm |archive-date=2006-08-27 |title=कार्यात्मक प्रोग्रामिंग का युग आता है|first=Dick |last=Pountain |work=[[Byte (magazine)|Byte]] (August 1994) |access-date=August 31, 2006}}</ref>


=== प्रथम श्रेणी और उच्च-क्रम के कार्य ===
{{main|First-class function|Higher-order function}}

उच्च-क्रम फ़ंक्शंस ऐसे फ़ंक्शंस हैं जो या तो अन्य फ़ंक्शंस को तर्क के रूप में ले सकते हैं या उन्हें परिणामों के रूप में वापस कर सकते हैं। कैलकुलस में, उच्च-क्रम फ़ंक्शन का एक उदाहरण अंतर ऑपरेटर है <math>d/dx</math>, जो किसी फ़ंक्शन का व्युत्पन्न लौटाता है <math>f</math>.

उच्च-क्रम फ़ंक्शंस प्रथम-श्रेणी फ़ंक्शंस से निकटता से संबंधित हैं, उच्च-ऑर्डर फ़ंक्शंस और प्रथम श्रेणी फ़ंक्शंस दोनों फ़ंक्शंस को अन्य फ़ंक्शंस के तर्क और परिणाम के रूप में अनुमति देते हैं। दोनों के बीच अंतर सूक्ष्म है: उच्च-क्रम उन कार्यों की गणितीय अवधारणा का वर्णन करता है जो अन्य कार्यों पर काम करते हैं, जबकि प्रथम श्रेणी प्रोग्रामिंग भाषा इकाइयों के लिए एक कंप्यूटर विज्ञान शब्द है जिनके उपयोग पर कोई प्रतिबंध नहीं है (इस प्रकार प्रथम श्रेणी के कार्य कर सकते हैं) प्रोग्राम में कहीं भी प्रदर्शित हो सकते हैं जो अन्य प्रथम श्रेणी इकाइयाँ जैसे संख्याएँ, अन्य कार्यों के तर्क के रूप में और उनके रिटर्न मान के रूप में शामिल हो सकती हैं)।

उच्च-क्रम फ़ंक्शन आंशिक एप्लिकेशन या [[करी]]इंग को सक्षम करते हैं, एक ऐसी तकनीक जो एक समय में एक फ़ंक्शन को अपने तर्कों पर लागू करती है, प्रत्येक एप्लिकेशन एक नया फ़ंक्शन लौटाता है जो अगले तर्क को स्वीकार करता है। यह एक प्रोग्रामर को संक्षेप में व्यक्त करने देता है, उदाहरण के लिए, प्राकृतिक नंबर एक पर आंशिक रूप से लागू अतिरिक्त ऑपरेटर के रूप में [[उत्तराधिकारी कार्य]] करता है।

=== शुद्ध कार्य ===
{{main|Pure function}}
शुद्ध कार्यों (या अभिव्यक्तियों) का कोई दुष्प्रभाव नहीं होता (कंप्यूटर विज्ञान) (मेमोरी या I/O)। इसका मतलब यह है कि शुद्ध फ़ंक्शंस में कई उपयोगी गुण होते हैं, जिनमें से कई का उपयोग कोड को अनुकूलित करने के लिए किया जा सकता है:
* यदि शुद्ध अभिव्यक्ति के परिणाम का उपयोग नहीं किया जाता है, तो इसे अन्य अभिव्यक्तियों को प्रभावित किए बिना हटाया जा सकता है।
* यदि किसी शुद्ध फ़ंक्शन को उन तर्कों के साथ कॉल किया जाता है जिनका कोई दुष्प्रभाव नहीं होता है, तो परिणाम उस तर्क सूची के संबंध में स्थिर होता है (कभी-कभी संदर्भित पारदर्शिता या निष्क्रियता कहा जाता है), यानी, उसी तर्क के साथ शुद्ध फ़ंक्शन को दोबारा कॉल करने से वही परिणाम मिलता है . (यह [[संस्मरण]] जैसे कैशिंग अनुकूलन को सक्षम कर सकता है।)
* यदि दो शुद्ध अभिव्यक्तियों के बीच कोई डेटा निर्भरता नहीं है, तो उनके क्रम को उलटा किया जा सकता है, या उन्हें समानांतर में निष्पादित किया जा सकता है और वे एक दूसरे के साथ हस्तक्षेप नहीं कर सकते हैं (दूसरे शब्दों में, किसी भी शुद्ध अभिव्यक्ति का मूल्यांकन थ्रेड-सुरक्षित है)।
* यदि संपूर्ण भाषा दुष्प्रभाव की अनुमति नहीं देती है, तो किसी भी मूल्यांकन रणनीति का उपयोग किया जा सकता है; यह कंपाइलर को किसी प्रोग्राम में अभिव्यक्तियों के मूल्यांकन को पुन: व्यवस्थित करने या संयोजित करने की स्वतंत्रता देता है (उदाहरण के लिए, [[वनों की कटाई (कंप्यूटर विज्ञान)]] का उपयोग करके)।

जबकि अनिवार्य प्रोग्रामिंग भाषाओं के लिए अधिकांश कंपाइलर शुद्ध कार्यों का पता लगाते हैं और शुद्ध फ़ंक्शन कॉल के लिए सामान्य-उपअभिव्यक्ति उन्मूलन करते हैं, वे हमेशा पूर्व-संकलित पुस्तकालयों के लिए ऐसा नहीं कर सकते हैं, जो आम तौर पर इस जानकारी को उजागर नहीं करते हैं, इस प्रकार उन बाहरी कार्यों को शामिल करने वाले अनुकूलन को रोकते हैं। कुछ कंपाइलर, जैसे [[जीएनयू कंपाइलर संग्रह]], ऐसे अनुकूलन को सक्षम करने के लिए, बाहरी कार्यों को स्पष्ट रूप से शुद्ध के रूप में चिह्नित करने के लिए प्रोग्रामर के लिए अतिरिक्त कीवर्ड जोड़ते हैं। [[फोरट्रान 95]] फ़ंक्शंस को शुद्ध रूप से नामित करने की सुविधा भी देता है।<ref name=fortran95>{{cite journal |title=ISO/IEC JTC 1/SC 22/WG5/N2137 |publisher=International Organization for Standardization |date=July 6, 2017 |url=https://isotc.iso.org/livelink/livelink/19089292/N2137.pdf.flv?func=sspndocuments.Fetch&nodeid=19089292&viewType=1}}</ref> सी++11 जोड़ा गया <code>constexpr</code> समान शब्दार्थ वाले कीवर्ड।

=== प्रत्यावर्तन ===
{{Main|Recursion (computer science)}}

कार्यात्मक भाषाओं में पुनरावृत्ति (लूपिंग) आमतौर पर पुनरावृत्ति के माध्यम से पूरा किया जाता है। [[प्रत्यावर्तन]] (कंप्यूटर विज्ञान) स्वयं को आमंत्रित करता है, किसी ऑपरेशन को तब तक दोहराने देता है जब तक कि वह रिकर्सन (कंप्यूटर विज्ञान) तक नहीं पहुंच जाता। सामान्य तौर पर, रिकर्सन के लिए [[कॉल स्टैक]] को बनाए रखने की आवश्यकता होती है, जो रिकर्सन की गहराई तक एक रैखिक मात्रा में स्थान की खपत करता है। इससे अनिवार्य लूप के बजाय रिकर्सन का उपयोग बेहद महंगा हो सकता है। हालाँकि, [[पूँछ प्रत्यावर्तन]] के रूप में जाना जाने वाला रिकर्सन का एक विशेष रूप कंपाइलर द्वारा उसी कोड में पहचाना और अनुकूलित किया जा सकता है जिसका उपयोग अनिवार्य भाषाओं में पुनरावृत्ति को लागू करने के लिए किया जाता है। टेल रिकर्सन ऑप्टिमाइज़ेशन को अन्य तरीकों के अलावा, संकलन के दौरान प्रोग्राम को [[निरंतरता पासिंग शैली]] में परिवर्तित करके कार्यान्वित किया जा सकता है।

योजना (प्रोग्रामिंग भाषा) भाषा मानक को उचित टेल रिकर्सन का समर्थन करने के लिए कार्यान्वयन की आवश्यकता होती है, जिसका अर्थ है कि उन्हें असीमित संख्या में सक्रिय टेल कॉल की अनुमति देनी होगी।<ref name='SchemeProperTailRec'>{{cite web|url=http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-8.html#node_sec_5.11 |title=Revised^6 Report on the Algorithmic Language Scheme |publisher=R6rs.org |access-date=2013-03-21}}</ref><ref>{{cite web|url=http://www.r6rs.org/final/html/r6rs-rationale/r6rs-rationale-Z-H-7.html#node_sec_5.3 |title=Revised^6 Report on the Algorithmic Language Scheme - Rationale |publisher=R6rs.org |access-date=2013-03-21}}</ref> उचित पूँछ प्रत्यावर्तन केवल एक अनुकूलन नहीं है; यह एक भाषा सुविधा है जो उपयोगकर्ताओं को आश्वस्त करती है कि वे लूप को व्यक्त करने के लिए रिकर्सन का उपयोग कर सकते हैं और ऐसा करना स्थान के लिए सुरक्षित होगा।<ref>{{cite book|chapter=Proper tail recursion and space efficiency|last=Clinger|first=William|title=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98|date=1998|pages=174–185|doi=10.1145/277650.277719|isbn=0897919874|s2cid=16812984}}</ref> इसके अलावा, अपने नाम के विपरीत, यह केवल टेल रिकर्सन ही नहीं, बल्कि सभी टेल कॉल्स के लिए जिम्मेदार है। जबकि उचित टेल रिकर्सन आमतौर पर कोड को अनिवार्य लूप में बदलकर लागू किया जाता है, कार्यान्वयन इसे अन्य तरीकों से लागू कर सकता है। उदाहरण के लिए, [[चिकन (योजना कार्यान्वयन)]] जानबूझकर एक स्टैक बनाए रखता है और स्टैक [[स्टैक ओवरफ़्लो]] होने देता है। हालाँकि, जब ऐसा होता है, तो इसका कचरा संग्रह (कंप्यूटर विज्ञान) स्थान वापस लेने का दावा करेगा,<ref>{{cite web |url=http://home.pipeline.com/~hbaker1/CheneyMTA.html |title=CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. |last=Baker |first=Henry |date=1994}}</ref> सक्रिय टेल कॉल की असीमित संख्या की अनुमति देता है, भले ही यह टेल रिकर्सन को लूप में नहीं बदलता है।

पुनरावृत्ति के सामान्य पैटर्न को उच्च-क्रम के कार्यों का उपयोग करके दूर किया जा सकता है, जिसमें [[ कैटामोर्फिज्म ]] और [[ एनामोर्फिज्म ]] (या फोल्ड और अनफोल्ड्स) सबसे स्पष्ट उदाहरण हैं। ऐसी रिकर्सन योजनाएं अनिवार्य भाषाओं में [[प्रोग्राम लूप्स]] जैसे अंतर्निहित नियंत्रण संरचनाओं के अनुरूप भूमिका निभाती हैं।

अधिकांश सामान्य प्रयोजन कार्यात्मक प्रोग्रामिंग भाषाएं अप्रतिबंधित पुनरावृत्ति की अनुमति देती हैं और ट्यूरिंग पूर्ण होती हैं, जो [[रुकने की समस्या]] को [[अनिर्णीत समस्या]] बनाती है, [[समीकरणात्मक तर्क]] की अस्वस्थता का कारण बन सकती है, और आम तौर पर भाषा के [[प्रकार प्रणाली]] द्वारा व्यक्त तर्क में असंगतता की शुरूआत की आवश्यकता होती है। कुछ विशेष प्रयोजन वाली भाषाएँ जैसे कि Coq (सॉफ़्टवेयर) केवल अच्छी तरह से स्थापित रिकर्सन की अनुमति देती हैं और [[दृढ़ता से सामान्यीकरण]] कर रही हैं (नॉनटर्मिनेटिंग संगणनाएँ केवल [[कोडाटा (कंप्यूटर विज्ञान)]] नामक मूल्यों की अनंत धाराओं के साथ व्यक्त की जा सकती हैं)। परिणामस्वरूप, ये भाषाएँ ट्यूरिंग पूर्ण होने में विफल रहती हैं और उनमें कुछ कार्यों को व्यक्त करना असंभव है, लेकिन वे अप्रतिबंधित पुनरावृत्ति द्वारा उत्पन्न समस्याओं से बचते हुए अभी भी दिलचस्प गणनाओं की एक विस्तृत श्रेणी को व्यक्त कर सकते हैं। कुछ अन्य बाधाओं के साथ अच्छी तरह से स्थापित रिकर्सन तक सीमित कार्यात्मक प्रोग्रामिंग को [[कुल कार्यात्मक प्रोग्रामिंग]] कहा जाता है।<ref name=totalfp>{{cite journal |last=Turner |first=D.A.|author-link=David Turner (computer scientist) |title=कुल कार्यात्मक प्रोग्रामिंग|journal=Journal of Universal Computer Science|volume=10| date=2004-07-28 |pages=751–768 |url=http://www.jucs.org/jucs_10_7/total_functional_programming|doi=10.3217/jucs-010-07-0751|issue=7}}</ref>


=== सख्त बनाम गैर-सख्त मूल्यांकन ===
{{Main|Evaluation strategy}}

कार्यात्मक भाषाओं को इस आधार पर वर्गीकृत किया जा सकता है कि क्या वे सख्त (उत्सुक) या गैर-सख्त (आलसी) मूल्यांकन का उपयोग करते हैं, अवधारणाएं जो संदर्भित करती हैं कि किसी अभिव्यक्ति का मूल्यांकन करते समय फ़ंक्शन तर्कों को कैसे संसाधित किया जाता है। तकनीकी अंतर असफल या भिन्न गणना वाले अभिव्यक्तियों के [[सांकेतिक शब्दार्थ]] में है। सख्त मूल्यांकन के तहत, असफल उपशब्द वाले किसी भी शब्द का मूल्यांकन विफल हो जाता है। उदाहरण के लिए, अभिव्यक्ति:

<!-- language? -->
प्रिंट लंबाई([2+1, 3*2, 1/0, 5-4])

सूची के तीसरे तत्व में शून्य से विभाजन के कारण सख्त मूल्यांकन के तहत विफल रहता है। आलसी मूल्यांकन के तहत, लंबाई फ़ंक्शन मान 4 (यानी, सूची में वस्तुओं की संख्या) लौटाता है, क्योंकि इसका मूल्यांकन करने से सूची बनाने वाले शब्दों का मूल्यांकन करने का प्रयास नहीं किया जाता है। संक्षेप में, सख्त मूल्यांकन हमेशा फ़ंक्शन को लागू करने से पहले फ़ंक्शन तर्कों का पूरी तरह से मूल्यांकन करता है। आलसी मूल्यांकन फ़ंक्शन तर्कों का मूल्यांकन नहीं करता है जब तक कि उनके मान फ़ंक्शन कॉल का मूल्यांकन करने के लिए आवश्यक न हों।

कार्यात्मक भाषाओं में आलसी मूल्यांकन के लिए सामान्य कार्यान्वयन रणनीति [[ग्राफ़ में कमी]] है।<ref>[http://research.microsoft.com/~simonpj/papers/slpj-book-1987/index.htm The Implementation of Functional Programming Languages]. Simon Peyton Jones, published by Prentice Hall, 1987</ref> आलसी मूल्यांकन का उपयोग डिफ़ॉल्ट रूप से कई शुद्ध कार्यात्मक भाषाओं में किया जाता है, जिनमें मिरांडा (प्रोग्रामिंग भाषा), क्लीन (प्रोग्रामिंग भाषा), और हास्केल शामिल हैं।

{{Harvnb|Hughes|1984}} डेटा स्ट्रीम के उत्पादकों और उपभोक्ताओं के स्वतंत्र कार्यान्वयन को आसान बनाकर, चिंताओं को अलग करके कार्यक्रम मॉड्यूलरिटी में सुधार के लिए एक तंत्र के रूप में आलसी मूल्यांकन का तर्क देता है।<ref name="hughesWhyFPMatters">{{cite web |url=http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html |title=कार्यात्मक प्रोग्रामिंग क्यों मायने रखती है|author-link=John Hughes (computer scientist) |first=John |last=Hughes |year=1984}}</ref> लॉन्चबरी 1993 <!-- a cite arguing more strongly against lazy evaluation would be preferable here, if someone knows of one. --> कुछ कठिनाइयों का वर्णन करता है जो आलसी मूल्यांकन पेश करता है, विशेष रूप से किसी प्रोग्राम की भंडारण आवश्यकताओं का विश्लेषण करने में, और ऐसे विश्लेषण में सहायता के लिए एक [[परिचालन शब्दार्थ]] का प्रस्ताव करता है।<ref name=launchbury1993>{{cite journal |author=John Launchbury |author-link=John Launchbury |title=आलसी मूल्यांकन के लिए एक प्राकृतिक शब्दार्थ|year=1993 |pages=144–154 |citeseerx=10.1.1.35.2016}}</ref> हार्पर 2009 में एक ही भाषा में सख्त और आलसी मूल्यांकन दोनों को शामिल करने का प्रस्ताव है, ताकि उन्हें अलग करने के लिए भाषा की प्रकार प्रणाली का उपयोग किया जा सके।<ref>{{cite book |url=https://www.cs.cmu.edu/~rwh/plbook/book.pdf |archive-url=https://web.archive.org/web/20160407095249/https://www.cs.cmu.edu/~rwh/plbook/book.pdf |archive-date=2016-04-07 |title=प्रोग्रामिंग भाषाओं के लिए व्यावहारिक आधार|author=Robert W. Harper |author-link=Robert Harper (computer scientist) |year=2009}}</ref>


=== सिस्टम टाइप करें ===
{{main|Type system}}
<!-- expand this section!!! also split it into several sections -->
विशेष रूप से 1970 के दशक में हिंडले-मिलनर प्रकार के अनुमान के विकास के बाद से, कार्यात्मक प्रोग्रामिंग भाषाओं में टाइप किए गए लैम्ब्डा कैलकुलस का उपयोग करने की प्रवृत्ति रही है, संकलन समय पर सभी अमान्य कार्यक्रमों को खारिज कर दिया गया है और झूठी सकारात्मकता और झूठी नकारात्मक #गलत सकारात्मक त्रुटि को जोखिम में डाला गया है, जैसा कि अप्रयुक्त लैम्ब्डा के विपरीत है। कैलकुलस, जो संकलन समय पर सभी वैध कार्यक्रमों को स्वीकार करता है और झूठी सकारात्मकता और गलत नकारात्मक #गलत नकारात्मक त्रुटि का जोखिम उठाता है, जिसका उपयोग लिस्प और इसके वेरिएंट (जैसे स्कीम (प्रोग्रामिंग भाषा)) में किया जाता है, क्योंकि वे रनटाइम पर सभी अमान्य कार्यक्रमों को अस्वीकार कर देते हैं जब जानकारी होती है वैध कार्यक्रमों को अस्वीकार न करने के लिए पर्याप्त है। [[बीजगणितीय डेटाप्रकार]]ों का उपयोग जटिल डेटा संरचनाओं के हेरफेर को सुविधाजनक बनाता है; मजबूत संकलन-समय प्रकार की जाँच की उपस्थिति परीक्षण-संचालित विकास जैसी अन्य विश्वसनीयता तकनीकों की अनुपस्थिति में प्रोग्राम को अधिक विश्वसनीय बनाती है, जबकि प्रकार का अनुमान प्रोग्रामर को ज्यादातर मामलों में कंपाइलर को मैन्युअल रूप से प्रकार घोषित करने की आवश्यकता से मुक्त करता है।

कुछ अनुसंधान-उन्मुख कार्यात्मक भाषाएँ जैसे कि कॉक (सॉफ़्टवेयर), एग्डा (प्रमेय प्रूवर), [[केयेन (प्रोग्रामिंग भाषा)]], और [[एपिग्राम (प्रोग्रामिंग भाषा)]] अंतर्ज्ञानवादी प्रकार के सिद्धांत पर आधारित हैं, जो प्रकारों को शब्दों पर निर्भर करता है। ऐसे प्रकारों को आश्रित प्रकार कहा जाता है। इस प्रकार की प्रणालियों में निर्णय लेने योग्य प्रकार का अनुमान नहीं होता है और इन्हें समझना और प्रोग्राम करना कठिन होता है।<ref>{{cite journal |last=Huet |first=Gérard P. |date=1973 |title=तीसरे क्रम के तर्क में एकीकरण की अनिश्चितता|journal=Information and Control |doi=10.1016/s0019-9958(73)90301-x |volume=22 |issue=3 |pages=257–267}}</ref><ref>{{cite thesis |type=Ph.D. |last=Huet |first=Gérard |date=Sep 1976 |title=Resolution d'Equations dans des Langages d'Ordre 1,2,...ω |language=fr |publisher=Universite de Paris VII}}</ref><ref>{{cite book |last=Huet |first=Gérard |date=2002 |editor1-last=Carreño |editor1-first=V. |editor2-last=Muñoz |editor2-first=C. |editor3-last=Tahar |editor3-first=S. |chapter=Higher Order Unification 30 years later |title=Proceedings, 15th International Conference TPHOL |volume=2410 |pages=3–12 |publisher=Springer |series=LNCS |chapter-url=http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf}}</ref><ref>{{cite journal |first=J. B. |last=Wells |title=दूसरे क्रम के लैम्ब्डा-कैलकुलस में टाइपेबिलिटी और टाइप चेकिंग समतुल्य और अनिर्णीत है|citeseerx=10.1.1.31.3590 |journal=Tech. Rep. 93-011 |year=1993 |pages=176–185}}</ref> लेकिन आश्रित प्रकार [[उच्च-क्रम तर्क]] में मनमाने प्रस्तावों को व्यक्त कर सकते हैं। करी-हावर्ड समरूपता के माध्यम से, इन भाषाओं में अच्छी तरह से टाइप किए गए प्रोग्राम [[औपचारिक गणित]]ीय प्रमाण लिखने का एक साधन बन जाते हैं जिससे एक [[ संकलक ]] औपचारिक सत्यापन उत्पन्न कर सकता है। हालाँकि ये भाषाएँ मुख्य रूप से अकादमिक अनुसंधान (औपचारिक गणित सहित) में रुचि रखती हैं, लेकिन इनका उपयोग इंजीनियरिंग में भी किया जाने लगा है। [[Compcert]] C (प्रोग्रामिंग भाषा) के एक सबसेट के लिए एक कंपाइलर है जो Coq में लिखा गया है और औपचारिक रूप से सत्यापित है।<ref>{{cite web |url=http://compcert.inria.fr/doc/index.html |title=Compcert सत्यापित संकलक|last=Leroy|first=Xavier|date=17 September 2018}}</ref>
आश्रित प्रकारों का एक सीमित रूप जिसे [[सामान्यीकृत बीजगणितीय डेटा प्रकार]] (जीएडीटी) कहा जाता है, को इस तरह से लागू किया जा सकता है जो निर्भरता से टाइप की गई प्रोग्रामिंग के कुछ लाभ प्रदान करता है जबकि इसकी अधिकांश असुविधाओं से बचता है।<ref>{{cite journal |url=http://research.microsoft.com/en-us/um/people/simonpj/papers/gadt/ |title=GADTs के लिए सरल एकीकरण-आधारित प्रकार का अनुमान|first1=Simon |last1=Peyton Jones |first2=Dimitrios |last2=Vytiniotis |first3=Stephanie |last3=Weirich |author3-link= Stephanie Weirich |author4=Geoffrey Washburn |journal=Icfp 2006 |pages=50–61 |date=April 2006}}</ref> GADT OCaml में [[ग्लासगो हास्केल कंपाइलर]] में उपलब्ध हैं<ref>{{Cite web|title=ओकैमल मैनुअल|url=https://caml.inria.fr/pub/docs/manual-ocaml/gadts.html|access-date=2021-03-08|website=caml.inria.fr}}</ref> और स्काला (प्रोग्रामिंग भाषा) में,<ref>{{Cite web|title=बीजगणितीय डेटा प्रकार|url=https://docs.scala-lang.org/scala3/book/types-adts-gadts.html|access-date=2021-03-08|website=Scala Documentation}}</ref> और जावा और सी# सहित अन्य भाषाओं में अतिरिक्त के रूप में प्रस्तावित किया गया है।<ref>{{cite book |title=सामान्यीकृत बीजगणितीय डेटा प्रकार और ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग|first1=Andrew |last1=Kennedy |first2=Claudio |last2=Russo |work=OOPSLA |date=October 2005 |location=San Diego, California |url=http://research.microsoft.com/~akenn/generics/gadtoop.pdf |archive-url=https://web.archive.org/web/20061229164852/http://research.microsoft.com/~akenn/generics/gadtoop.pdf |archive-date=2006-12-29 |isbn=9781595930316}} [http://lambda-the-ultimate.org/node/1134 source of citation]</ref>


=== संदर्भात्मक पारदर्शिता ===
{{Main|Referential transparency}}
फ़ंक्शनल प्रोग्राम में असाइनमेंट स्टेटमेंट नहीं होते हैं, यानी, फ़ंक्शनल प्रोग्राम में वेरिएबल का मान एक बार परिभाषित होने के बाद कभी नहीं बदलता है। इससे साइड इफेक्ट की कोई भी संभावना समाप्त हो जाती है क्योंकि निष्पादन के किसी भी बिंदु पर किसी भी चर को उसके वास्तविक मूल्य से बदला जा सकता है। इसलिए, कार्यात्मक कार्यक्रम संदर्भात्मक रूप से पारदर्शी होते हैं।<ref>{{cite web|last1=Hughes |first1=John |title=कार्यात्मक प्रोग्रामिंग क्यों मायने रखती है|url=http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf |publisher=[[Chalmers University of Technology]]}}</ref>
सी (प्रोग्रामिंग भाषा) असाइनमेंट स्टेटमेंट पर विचार करें <code>x=x * 10</code>, इससे वेरिएबल को निर्दिष्ट मान बदल जाता है <code>x</code>. आइए हम कहें कि प्रारंभिक मूल्य <code>x</code> था <code>1</code>, फिर चर के दो लगातार मूल्यांकन <code>x</code> पैदावार <code>10</code> और <code>100</code> क्रमश। स्पष्ट रूप से, प्रतिस्थापित करना <code>x=x * 10</code> किसी के साथ <code>10</code> या <code>100</code> किसी प्रोग्राम को एक अलग अर्थ देता है, और इसलिए अभिव्यक्ति संदर्भात्मक रूप से पारदर्शी नहीं है। वास्तव में, असाइनमेंट स्टेटमेंट कभी भी संदर्भित रूप से पारदर्शी नहीं होते हैं।

अब, एक अन्य फ़ंक्शन पर विचार करें जैसे कि <syntaxhighlight lang="c" inline>int plusone(int x) {return x+1;}</syntaxhighlight> पारदर्शी है, क्योंकि यह इनपुट x को अंतर्निहित रूप से नहीं बदलता है और इस प्रकार इसका कोई दुष्प्रभाव नहीं है (कंप्यूटर विज्ञान)।
कार्यात्मक प्रोग्राम विशेष रूप से इस प्रकार के फ़ंक्शन का उपयोग करते हैं और इसलिए संदर्भात्मक रूप से पारदर्शी होते हैं।

===डेटा संरचनाएं===
{{main|Purely functional data structure}}
विशुद्ध रूप से कार्यात्मक [[डेटा संरचना]]ओं को अक्सर उनके अनिवार्य प्रोग्रामिंग समकक्षों के लिए एक अलग तरीके से दर्शाया जाता है।<ref>[http://www.cambridge.org/us/academic/subjects/computer-science/algorithmics-complexity-computer-algebra-and-computational-g/purely-functional-data-structures ''Purely functional data structures''] by [[Chris Okasaki]], [[Cambridge University Press]], 1998, {{ISBN|0-521-66350-4}}</ref> उदाहरण के लिए, निरंतर पहुंच और अद्यतन समय के साथ [[सरणी डेटा संरचना]] अधिकांश अनिवार्य भाषाओं का एक बुनियादी घटक है, और कई अनिवार्य डेटा-संरचनाएं, जैसे [[हैश तालिका]] और [[ बाइनरी ढेर ]], सरणी पर आधारित हैं। सारणियों को [[मानचित्र (कंप्यूटर विज्ञान)]] या यादृच्छिक पहुंच सूचियों द्वारा प्रतिस्थापित किया जा सकता है, जो पूरी तरह कार्यात्मक कार्यान्वयन को स्वीकार करते हैं, लेकिन लॉगरिदमिक पहुंच और अद्यतन समय होते हैं। विशुद्ध रूप से कार्यात्मक डेटा संरचनाओं में स्थायी डेटा संरचना होती है, जो डेटा संरचना के पिछले संस्करणों को असंशोधित रखने की संपत्ति है। क्लोजर में, लगातार डेटा संरचनाओं का उपयोग उनके अनिवार्य समकक्षों के कार्यात्मक विकल्प के रूप में किया जाता है। उदाहरण के लिए, स्थायी वैक्टर, आंशिक अद्यतनीकरण के लिए पेड़ों का उपयोग करते हैं। इन्सर्ट विधि को कॉल करने से कुछ नहीं बल्कि सभी नोड बनेंगे।<ref>{{Cite web|url=http://www.hypirion.com/musings/understanding-persistent-vector-pt-1|title=पॉलीमैथिया - क्लोजर के परसिस्टेंट वेक्टर को समझना, पीटी। 1|last=L’orange |first=Jean Niklas |website=Polymatheia |access-date=2018-11-13}}</ref>


== अनिवार्य प्रोग्रामिंग से तुलना ==
कार्यात्मक प्रोग्रामिंग अनिवार्य प्रोग्रामिंग से बहुत अलग है। सबसे महत्वपूर्ण अंतर इस तथ्य से उत्पन्न होता है कि कार्यात्मक प्रोग्रामिंग साइड इफेक्ट (कंप्यूटर विज्ञान) से बचती है, जिसका उपयोग राज्य और I/O को लागू करने के लिए अनिवार्य प्रोग्रामिंग में किया जाता है। शुद्ध कार्यात्मक प्रोग्रामिंग पूरी तरह से दुष्प्रभावों को रोकती है और संदर्भात्मक पारदर्शिता प्रदान करती है।

पुराने अनिवार्य प्रोग्रामिंग में उच्च-क्रम के कार्यों का उपयोग शायद ही कभी किया जाता है। एक पारंपरिक अनिवार्य कार्यक्रम किसी सूची को पार करने और संशोधित करने के लिए एक लूप का उपयोग कर सकता है। दूसरी ओर, एक कार्यात्मक कार्यक्रम संभवतः एक उच्च-क्रम वाले मानचित्र फ़ंक्शन का उपयोग करेगा जो एक फ़ंक्शन और एक सूची लेता है, प्रत्येक सूची आइटम पर फ़ंक्शन लागू करके एक नई सूची तैयार करता है और लौटाता है।

=== अनिवार्य बनाम कार्यात्मक प्रोग्रामिंग ===

निम्नलिखित दो उदाहरण ([[जावास्क्रिप्ट (प्रोग्रामिंग भाषा)]] में लिखे गए) समान प्रभाव प्राप्त करते हैं: वे एक सरणी में सभी सम संख्याओं को 10 से गुणा करते हैं और उन सभी को जोड़ते हैं, अंतिम योग को चर परिणाम में संग्रहीत करते हैं।

पारंपरिक अनिवार्य लूप:
<syntaxhighlight lang="javascript">
const numList = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
let result = 0;
for (let i = 0; i < numList.length; i++) {
  if (numList[i] % 2 === 0) {
    result += numList[i] * 10;
  }
}
</syntaxhighlight>
उच्च-क्रम के कार्यों के साथ कार्यात्मक प्रोग्रामिंग:
<syntaxhighlight lang="javascript">
const result = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
               .filter(n => n % 2 === 0)
               .map(a => a * 10)
               .reduce((a, b) => a + b, 0);
</syntaxhighlight>


=== अनुकरण अवस्था ===
ऐसे कार्य हैं (उदाहरण के लिए, बैंक खाते का शेष बनाए रखना) जो अक्सर राज्य के साथ सबसे स्वाभाविक रूप से कार्यान्वित होते प्रतीत होते हैं। शुद्ध कार्यात्मक प्रोग्रामिंग इन कार्यों और I/O कार्यों जैसे उपयोगकर्ता इनपुट को स्वीकार करना और स्क्रीन पर प्रिंट करना, एक अलग तरीके से करती है।

शुद्ध कार्यात्मक प्रोग्रामिंग भाषा हास्केल उन्हें [[श्रेणी सिद्धांत]] से प्राप्त [[मोनाड (कार्यात्मक प्रोग्रामिंग)]] का उपयोग करके कार्यान्वित करती है।<ref>Michael Barr, Charles Well - Category theory for computer science.</ref> मोनैड्स कुछ प्रकार के कम्प्यूटेशनल पैटर्न को अमूर्त करने का एक तरीका प्रदान करते हैं, जिसमें पवित्रता खोए बिना अनिवार्य तरीके से परिवर्तनशील स्थिति (और I/O जैसे अन्य दुष्प्रभाव) के साथ संगणनाओं का मॉडलिंग (लेकिन इन्हीं तक सीमित नहीं) शामिल है। जबकि उपयुक्त टेम्प्लेट और उदाहरण दिए जाने पर मौजूदा भिक्षुओं को किसी कार्यक्रम में लागू करना आसान हो सकता है, कई छात्रों को उन्हें अवधारणात्मक रूप से समझना मुश्किल लगता है, उदाहरण के लिए, जब नए भिक्षुओं को परिभाषित करने के लिए कहा जाता है (जो कभी-कभी कुछ प्रकार के पुस्तकालयों के लिए आवश्यक होता है)।<ref>{{cite web |last=Newbern |first=J. |title=All About Monads: A comprehensive guide to the theory and practice of monadic programming in Haskell |url=http://monads.haskell.cz/html/index.html/html/ |access-date=2008-02-14}}</ref>
कार्यात्मक भाषाएँ भी अपरिवर्तनीय अवस्थाओं से गुजरते हुए अवस्थाओं का अनुकरण करती हैं। यह एक फ़ंक्शन द्वारा राज्य को उसके मापदंडों में से एक के रूप में स्वीकार करके किया जा सकता है, और परिणाम के साथ एक नया राज्य लौटाता है, पुरानी स्थिति को अपरिवर्तित छोड़ देता है।<ref>{{Cite web|url=https://fsharpforfunandprofit.com/posts/13-ways-of-looking-at-a-turtle/#2-basic-fp---a-module-of-functions-with-immutable-state|title=कछुए को देखने के तेरह तरीके|website=fF# for fun and profit|language=en|access-date=2018-11-13}}</ref>
<!-- TO DO: Expand -->
अशुद्ध कार्यात्मक भाषाओं में आमतौर पर परिवर्तनशील स्थिति के प्रबंधन की अधिक प्रत्यक्ष विधि शामिल होती है। उदाहरण के लिए, क्लोजर प्रबंधित संदर्भों का उपयोग करता है जिन्हें वर्तमान स्थिति में शुद्ध फ़ंक्शन लागू करके अद्यतन किया जा सकता है। इस प्रकार का दृष्टिकोण परिवर्तनशीलता को सक्षम बनाता है जबकि अभी भी गणनाओं को व्यक्त करने के पसंदीदा तरीके के रूप में शुद्ध कार्यों के उपयोग को बढ़ावा देता है।{{citation needed|date=July 2018}}
<!-- TO DO: Expand / example code?? -->
कार्यक्रमों में दुष्प्रभावों को ट्रैक करने के लिए [[होरे तर्क]] और [[विशिष्टता प्रकार]] जैसी वैकल्पिक विधियाँ विकसित की गई हैं। कुछ आधुनिक शोध भाषाएँ दुष्प्रभावों की उपस्थिति को स्पष्ट करने के लिए प्रभाव प्रणालियों का उपयोग करती हैं।{{citation needed|date=July 2018}}
<!-- TO DO: Expand -->


=== दक्षता मुद्दे ===
कार्यात्मक प्रोग्रामिंग भाषाएं आम तौर पर सी (प्रोग्रामिंग भाषा) और [[पास्कल (प्रोग्रामिंग भाषा)]] जैसी अनिवार्य भाषाओं की तुलना में केंद्रीय प्रसंस्करण इकाई और मेमोरी के उपयोग में कम कुशल होती हैं।<ref>{{cite book |first=Larry C. |last=Paulson |author-link=Lawrence Paulson |title=वर्किंग प्रोग्रामर के लिए एमएल|url=https://books.google.com/books?id=XppZdaDs7e0C|access-date=10 February 2013|date=28 June 1996|publisher=Cambridge University Press|isbn=978-0-521-56543-1}}</ref> <!-- Paulson mentions the reputation for inefficiency in Sec. 1.5; perhaps a more in-depth discussion could be found. --> यह इस तथ्य से संबंधित है कि सरणियों जैसी कुछ परिवर्तनशील डेटा संरचनाओं का वर्तमान हार्डवेयर का उपयोग करके बहुत सीधा कार्यान्वयन होता है। फ्लैट सरणियों को गहराई से पाइपलाइन किए गए सीपीयू के साथ बहुत कुशलता से एक्सेस किया जा सकता है, कैश के माध्यम से कुशलतापूर्वक प्रीफ़ेच किया जा सकता है (कोई जटिल पॉइंटर पीछा नहीं किया जा सकता है), या SIMD निर्देशों के साथ नियंत्रित किया जा सकता है। <!-- perhaps this could be formulated by someone who knows the subject, I was simply curious about unexplained statement "logarithmic slowdown" --> उनके समान रूप से कुशल सामान्य प्रयोजन अपरिवर्तनीय समकक्ष बनाना भी आसान नहीं है। विशुद्ध रूप से कार्यात्मक भाषाओं के लिए, सबसे खराब स्थिति उपयोग की गई मेमोरी कोशिकाओं की संख्या में लॉगरिदमिक है, क्योंकि परिवर्तनीय मेमोरी को लॉगरिदमिक एक्सेस समय (जैसे एक संतुलित पेड़) के साथ पूरी तरह कार्यात्मक डेटा संरचना द्वारा दर्शाया जा सकता है।<ref name="Spiewak"/>हालाँकि, ऐसी मंदी सार्वभौमिक नहीं है। गहन संख्यात्मक संगणना करने वाले प्रोग्रामों के लिए, [[कंप्यूटर भाषा बेंचमार्क गेम]] के अनुसार OCaml और क्लीन (प्रोग्रामिंग भाषा) जैसी कार्यात्मक भाषाएँ C की तुलना में थोड़ी धीमी हैं।<ref>{{cite web |url=http://benchmarksgame.alioth.debian.org/u32/which-programs-are-fastest.php?gcc=on&ghc=on&clean=on&ocaml=on&sbcl=on&fsharp=on&racket=on&clojure=on&hipe=on&calc=chart |title=Which programs are fastest? &#124; Computer Language Benchmarks Game |publisher=benchmarksgame.alioth.debian.org |access-date=2011-06-20 |archive-url=https://web.archive.org/web/20130520162513/http://benchmarksgame.alioth.debian.org/u32/which-programs-are-fastest.php?gcc=on&ghc=on&clean=on&ocaml=on&sbcl=on&fsharp=on&racket=on&clojure=on&hipe=on&calc=chart |archive-date=2013-05-20 |url-status=dead}}</ref> बड़े [[मैट्रिक्स (गणित)]] और बहुआयामी [[डेटाबेस]] को संभालने वाले कार्यक्रमों के लिए, [[सरणी प्रोग्रामिंग]] कार्यात्मक भाषाएं (जैसे जे (प्रोग्रामिंग भाषा) और के (प्रोग्रामिंग भाषा)) को गति अनुकूलन के साथ डिजाइन किया गया था।

डेटा की अपरिवर्तनीयता कई मामलों में संकलक को ऐसी धारणाएँ बनाने की अनुमति देकर निष्पादन दक्षता को जन्म दे सकती है जो एक अनिवार्य भाषा में असुरक्षित हैं, इस प्रकार [[इनलाइन विस्तार]] के अवसर बढ़ जाते हैं।<ref>{{cite journal |title=अपरिवर्तनीयता विशिष्टता और उसके अनुप्रयोग|author1=Igor Pechtchanski |author2=Vivek Sarkar |journal=Concurrency and Computation: Practice and Experience |volume=17 |issue=5–6 |pages=639–662 |year=2005 |doi=10.1002/cpe.853 |s2cid=34527406}}</ref>
[[आलसी मूल्यांकन]] भी कार्यक्रम को गति दे सकता है, यहां तक कि स्पर्शोन्मुख रूप से भी, जबकि यह इसे एक स्थिर कारक द्वारा अधिक से अधिक धीमा कर सकता है (हालांकि, अनुचित तरीके से उपयोग किए जाने पर यह [[ स्मृति रिसाव ]] का कारण बन सकता है)। लॉन्चबरी 1993<ref name=launchbury1993/>आलसी मूल्यांकन और ओ'सुलिवन एट अल से स्मृति लीक से संबंधित सैद्धांतिक मुद्दों पर चर्चा करता है। 2008<ref>{{cite web |url=http://book.realworldhaskell.org/read/profiling-and-optimization.html#x_eK1 |title=Chapter 25. Profiling and optimization |publisher=Book.realworldhaskell.org |access-date=2011-06-20}}</ref> उनका विश्लेषण करने और उन्हें ठीक करने के लिए कुछ व्यावहारिक सलाह दें।
हालाँकि, संदर्भित कोड और डेटा का व्यापक उपयोग करने वाले आलसी मूल्यांकन के सबसे सामान्य कार्यान्वयन गहरी पाइपलाइनों और बहु-स्तरीय कैश वाले आधुनिक प्रोसेसर पर खराब प्रदर्शन करते हैं (जहां एक कैश मिस होने पर सैकड़ों चक्र खर्च हो सकते हैं) {{Citation needed|date=June 2014}}.

=== गैर-कार्यात्मक भाषाओं में कार्यात्मक प्रोग्रामिंग ===

उन भाषाओं में प्रोग्रामिंग की कार्यात्मक शैली का उपयोग करना संभव है जिन्हें पारंपरिक रूप से कार्यात्मक भाषा नहीं माना जाता है।<ref>{{cite journal |last=Hartel |first=Pieter |author2=Henk Muller |author3=Hugh Glaser |title=कार्यात्मक सी अनुभव|journal=Journal of Functional Programming |volume=14 |issue=2 |pages=129–135 |date=March 2004 |url=http://www.ub.utwente.nl/webdocs/ctit/1/00000084.pdf |doi=10.1017/S0956796803004817| s2cid=32346900}}; {{cite web |title=Functional programming in Python, Part 3 |url=http://www-128.ibm.com/developerworks/linux/library/l-prog3.html |archive-url=https://web.archive.org/web/20071016124848/http://www-128.ibm.com/developerworks/linux/library/l-prog3.html |archive-date=2007-10-16 |author=David Mertz |access-date=2006-09-17 |work=IBM developerWorks}}([https://web.archive.org/web/20071016124848/http://www-128.ibm.com/developerworks/linux/library/l-prog.html Part 1], [https://web.archive.org/web/20071016124848/http://www-128.ibm.com/developerworks/linux/library/l-prog2.html Part 2])</ref> उदाहरण के लिए, दोनों [[डी (प्रोग्रामिंग भाषा)]]<ref>{{cite web |url=http://www.digitalmars.com/d/2.0/function.html#pure-functions |title=Functions&nbsp;— D Programming Language 2.0 |publisher=Digital Mars |date=30 December 2012}}</ref> और फोरट्रान 95<ref name=fortran95/>स्पष्ट रूप से शुद्ध कार्यों का समर्थन करें।

जावास्क्रिप्ट, [[लुआ (प्रोग्रामिंग भाषा)]],<ref>{{cite web|url=http://www.luafaq.org/#T1.2|title=Lua Unofficial FAQ (uFAQ)}}</ref> पायथन (प्रोग्रामिंग भाषा) और गो (प्रोग्रामिंग भाषा)<ref>{{Cite web|title=गो में प्रथम श्रेणी के कार्य - गो प्रोग्रामिंग भाषा|url=https://golang.org/doc/codewalk/functions/|access-date=2021-01-04|website=golang.org}}</ref> अपनी स्थापना से ही प्रथम श्रेणी का कार्य किया।<ref>{{cite web|url=https://brendaneich.com/2008/04/popularity/|first=Brendan|last= Eich|title=लोकप्रियता|date=3 April 2008}}</ref> पायथन को 1994 में [[अनाम फ़ंक्शन]], मैप (उच्च-ऑर्डर फ़ंक्शन), फोल्ड (उच्च-ऑर्डर फ़ंक्शन), और फ़िल्टर (उच्च-ऑर्डर फ़ंक्शन) के लिए समर्थन मिला, साथ ही पायथन 2.2 में क्लोजर भी मिला।<ref>{{cite web |url=http://python-history.blogspot.de/2009/04/origins-of-pythons-functional-features.html |title=पायथन की "कार्यात्मक" विशेषताओं की उत्पत्ति|last=van Rossum |first=Guido |author-link=Guido van Rossum |date=2009-04-21 |access-date=2012-09-27}}</ref> हालाँकि Python 3 को कम कर दिया गया <code>functools</code> मानक पुस्तकालय मॉड्यूल।<ref>{{cite web |url=https://docs.python.org/dev/library/functools.html#functools.reduce |title=functools — Higher order functions and operations on callable objects |publisher=Python Software Foundation |date=2011-07-31 |access-date=2011-07-31}}</ref> प्रथम श्रेणी के फ़ंक्शंस को अन्य मुख्यधारा की भाषाओं जैसे PHP 5.3, [[विजुअल बेसिक 9]], सी शार्प (प्रोग्रामिंग भाषा)|सी# 3.0, सी++11, और कोटलिन (प्रोग्रामिंग भाषा) में पेश किया गया है।<ref name=":0"/>{{citation needed|date=April 2015}}

PHP में, अनाम कक्षाएं, क्लोजर (कंप्यूटर विज्ञान) और लैम्ब्डा पूरी तरह से समर्थित हैं। कार्यात्मक शैली में प्रोग्रामिंग में सहायता के लिए अपरिवर्तनीय डेटा संरचनाओं के लिए पुस्तकालय और भाषा एक्सटेंशन विकसित किए जा रहे हैं।

जावा (प्रोग्रामिंग भाषा) में, अनाम कक्षाओं का उपयोग कभी-कभी क्लोजर का अनुकरण करने के लिए किया जा सकता है;<ref>{{cite book |last=Skarsaune |first=Martin |title=एसआईसीएस जावा पोर्ट प्रोजेक्ट स्मॉलटॉक से जावा तक एक बड़े ऑब्जेक्ट ओरिएंटेड सिस्टम का स्वचालित अनुवाद|year=2008}}</ref> हालाँकि, अनाम कक्षाएं हमेशा क्लोजर के लिए उचित प्रतिस्थापन नहीं होती हैं क्योंकि उनमें अधिक सीमित क्षमताएं होती हैं।<ref>{{cite web|last=Gosling|first=James|title=बंद|url= http://blogs.oracle.com/jag/entry/closures|work=James Gosling: on the Java Road|publisher=Oracle|access-date=11 May 2013|archive-url= https://web.archive.org/web/20130414180002/https://blogs.oracle.com/jag/entry/closures|archive-date=2013-04-14|url-status=dead}}</ref> जावा 8 कुछ अनाम कक्षाओं के प्रतिस्थापन के रूप में लैम्ब्डा अभिव्यक्तियों का समर्थन करता है।<ref>{{cite web|url=https://blogs.oracle.com/javatraining/entry/java_se_8_lambda_quick|title=Java SE 8 Lambda Quick Start|first=Michael|last=Williams|date=8 April 2013}}</ref>
सी शार्प (प्रोग्रामिंग भाषा)|सी# में, अनाम कक्षाएं आवश्यक नहीं हैं, क्योंकि क्लोजर और लैम्ब्डा पूरी तरह से समर्थित हैं। C# में कार्यात्मक शैली में प्रोग्रामिंग में सहायता के लिए अपरिवर्तनीय डेटा संरचनाओं के लिए पुस्तकालय और भाषा एक्सटेंशन विकसित किए जा रहे हैं।

कई [[ वस्तु के उन्मुख ]] [[डिज़ाइन पैटर्न (कंप्यूटर विज्ञान)]] कार्यात्मक प्रोग्रामिंग शब्दों में व्यक्त किए जा सकते हैं: उदाहरण के लिए, [[रणनीति पैटर्न]] बस एक उच्च-क्रम फ़ंक्शन के उपयोग को निर्देशित करता है, और [[विज़िटर (डिज़ाइन पैटर्न)]] पैटर्न मोटे तौर पर कैटामोर्फिज्म, या फोल्ड से मेल खाता है ( उच्च-क्रम फ़ंक्शन)।

इसी प्रकार, कार्यात्मक प्रोग्रामिंग से अपरिवर्तनीय डेटा का विचार अक्सर अनिवार्य प्रोग्रामिंग भाषाओं में शामिल किया जाता है,<ref>{{cite book |title=प्रभावी जावा|edition=Second |first=Joshua |last=Bloch |chapter=Item 15: Minimize Mutability |isbn=978-0321356680 |date=2008 |publisher=Addison-Wesley |url-access=registration |url=https://archive.org/details/effectivejava00bloc_0}}</ref> उदाहरण के लिए पायथन में टुपल, जो एक अपरिवर्तनीय सरणी है, और जावास्क्रिप्ट में ऑब्जेक्ट.फ़्रीज़()।<ref>{{Cite web|last=|first=|date=|title=Object.freeze() - JavaScript {{!}} MDN|url=https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/freeze|access-date=2021-01-04|website=developer.mozilla.org|quote=The Object.freeze() method freezes an object. A frozen object can no longer be changed; freezing an object prevents new properties from being added to it, existing properties from being removed, prevents changing the enumerability, configurability, or writability of existing properties, and prevents the values of existing properties from being changed. In addition, freezing an object also prevents its prototype from being changed. freeze() returns the same object that was passed in.}}</ref>


== [[तर्क प्रोग्रामिंग]] से तुलना ==

तर्क प्रोग्रामिंग को कार्यात्मक प्रोग्रामिंग के सामान्यीकरण के रूप में देखा जा सकता है, जिसमें फ़ंक्शन संबंधों का एक विशेष मामला है।<ref>{{cite book|author1=Daniel Friedman|author2=William Byrd|author3=Oleg Kiselyov|author4=Jason Hemann|title=द रीज़नड स्कीमर, दूसरा संस्करण|year=2018|publisher=The MIT Press}}</ref>
उदाहरण के लिए, फ़ंक्शन, माँ (X) = Y, (प्रत्येक X की केवल एक माँ Y है) को संबंध माँ (X, Y) द्वारा दर्शाया जा सकता है। जबकि फ़ंक्शंस में तर्कों का एक सख्त इनपुट-आउटपुट पैटर्न होता है, संबंधों को इनपुट और आउटपुट के किसी भी पैटर्न के साथ पूछताछ की जा सकती है। निम्नलिखित तर्क कार्यक्रम पर विचार करें:
<syntaxhighlight lang="prolog">
mother(charles, elizabeth).
mother(harry, diana).
</syntaxhighlight>
बच्चों में से माताओं को उत्पन्न करने के लिए कार्यक्रम को एक कार्यात्मक कार्यक्रम की तरह पूछताछ की जा सकती है:
<syntaxhighlight lang="prolog">
?- mother(harry, X).
X = diana.
?- mother(charles, X).
X = elizabeth.
</syntaxhighlight>
लेकिन बच्चे पैदा करने के लिए इसे पीछे की ओर भी पूछा जा सकता है:
<syntaxhighlight lang="prolog">
?- mother(X, elizabeth).
X = charles.
?- mother(X, diana).
X = harry.
</syntaxhighlight>
इसका उपयोग मातृ संबंध के सभी उदाहरण उत्पन्न करने के लिए भी किया जा सकता है:
<syntaxhighlight lang="prolog">
?- mother(X, Y).
X = charles,
Y = elizabeth.
X = harry,
Y = diana.
</syntaxhighlight>
रिलेशनल सिंटैक्स की तुलना में, नेस्टेड फ़ंक्शंस के लिए कार्यात्मक सिंटैक्स एक अधिक कॉम्पैक्ट नोटेशन है। उदाहरण के लिए, कार्यात्मक वाक्यविन्यास में मातृ दादी की परिभाषा को नेस्टेड रूप में लिखा जा सकता है:
<syntaxhighlight lang="prolog">
maternal_grandmother(X) = mother(mother(X)).
</syntaxhighlight>
संबंधपरक संकेतन में समान परिभाषा को अघोषित रूप में लिखने की आवश्यकता है:
<syntaxhighlight lang="prolog">
maternal_grandmother(X, Y) :- mother(X, Z), mother(Z, Y).
</syntaxhighlight>
यहाँ <code>:-</code> मतलब अगर और <code> , </code>मतलब और.

हालाँकि, दोनों अभ्यावेदन के बीच का अंतर केवल वाक्यात्मक है। Ciao (प्रोग्रामिंग भाषा) प्रोलॉग में, कार्यात्मक प्रोग्रामिंग में फ़ंक्शन की तरह, संबंधों को नेस्ट किया जा सकता है:<ref>A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to
  Combining Functional Notation, Lazy Evaluation and Higher-Order in
  LP Systems. The 8th International Symposium on Functional and Logic
  Programming (FLOPS'06), pages 142-162, April 2006.</ref>
<syntaxhighlight lang="prolog">
grandparent(X) := parent(parent(X)).
parent(X) := mother(X).
parent(X) := father(X).

mother(charles) := elizabeth.
father(charles) := phillip.
mother(harry) := diana.
father(harry) := charles.

?- grandparent(X,Y).
X = harry,
Y = elizabeth.
X = harry,
Y = phillip.
</syntaxhighlight>
Ciao फ़ंक्शन-जैसी नोटेशन को रिलेशनल फॉर्म में बदल देता है और मानक प्रोलॉग निष्पादन रणनीति का उपयोग करके परिणामी तर्क प्रोग्राम को निष्पादित करता है।

== अनुप्रयोग ==

=== [[स्प्रेडशीट]] ===
स्प्रेडशीट को शुद्ध, उच्च-क्रम फ़ंक्शन | शून्य-क्रम, सख्त-मूल्यांकन कार्यात्मक प्रोग्रामिंग प्रणाली का एक रूप माना जा सकता है।<ref name="Wakeling2007">{{cite journal|last1=Wakeling|first1=David|title=स्प्रेडशीट कार्यात्मक प्रोग्रामिंग|journal=Journal of Functional Programming|volume=17|issue=1|year=2007|pages=131–143|issn=0956-7968|doi=10.1017/S0956796806006186|s2cid=29429059|url=http://www.activemode.org/webroot/Workers/ActiveTraining/Programming/Pro_SpreadsheetFunctionalProgramming.pdf}}</ref> हालाँकि, स्प्रेडशीट में आम तौर पर उच्च-क्रम के कार्यों के साथ-साथ कोड के पुन: उपयोग की कमी होती है, और कुछ कार्यान्वयन में, पुनरावृत्ति की भी कमी होती है। उच्च-क्रम और पुन: प्रयोज्य कार्यों को सक्षम करने के लिए स्प्रेडशीट कार्यक्रमों के लिए कई एक्सटेंशन विकसित किए गए हैं, लेकिन अभी तक प्रकृति में मुख्य रूप से अकादमिक बने हुए हैं।<ref name="excel">{{cite web |title=Improving the world's most popular functional language: user-defined functions in Excel |first1=Simon |last1=Peyton Jones |author-link1=Simon Peyton Jones |first2=Margaret |last2=Burnett|author2-link=Margaret Burnett |first3=Alan |last3=Blackwell |author-link3=Alan Blackwell |url=http://research.microsoft.com/~simonpj/Papers/excel/index.htm |date=March 2003 |archive-url=https://web.archive.org/web/20051016011341/http://research.microsoft.com/~simonpj/Papers/excel/index.htm |archive-date=2005-10-16}}</ref>


=== अकादमिक ===
कार्यात्मक प्रोग्रामिंग [[प्रोग्रामिंग भाषा सिद्धांत]] के क्षेत्र में अनुसंधान का एक सक्रिय क्षेत्र है। कार्यात्मक प्रोग्रामिंग पर ध्यान केंद्रित करने वाले कई सहकर्मी-समीक्षित प्रकाशन स्थल हैं, जिनमें [[कार्यात्मक प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन]], कार्यात्मक प्रोग्रामिंग जर्नल और [[कार्यात्मक प्रोग्रामिंग में रुझान पर संगोष्ठी]] शामिल हैं।

=== उद्योग ===
कार्यात्मक प्रोग्रामिंग को औद्योगिक अनुप्रयोगों की एक विस्तृत श्रृंखला में नियोजित किया गया है। उदाहरण के लिए, एरलांग (प्रोग्रामिंग भाषा), जिसे 1980 के दशक के अंत में [[स्वीडन]] की कंपनी [[एरिक्सन]] द्वारा विकसित किया गया था, मूल रूप से [[दोष सहिष्णुता]] | दोष-सहिष्णु [[दूरसंचार]] प्रणालियों को लागू करने के लिए उपयोग किया गया था।<ref name="armstrong2007"/>लेकिन तब से यह [[नॉर्टेल]], [[फेसबुक]], इलेक्ट्रिकिट डी फ्रांस और [[ व्हाट्सप्प ]] जैसी कंपनियों में अनुप्रयोगों की एक श्रृंखला के निर्माण के लिए लोकप्रिय हो गया है।<ref name="erlang-faq"/><ref name="larson2009"/><ref>{{cite conference |last=Piro |first=Christopher |title=फेसबुक पर कार्यात्मक प्रोग्रामिंग|url=http://cufp.galois.com/2009/abstracts.html#ChristopherPiroEugeneLetuchy |year=2009 |conference=CUFP 2009 |access-date=2009-08-29 |archive-url=https://web.archive.org/web/20091017070140/http://cufp.galois.com/2009/abstracts.html#ChristopherPiroEugeneLetuchy |archive-date=2009-10-17 |url-status=dead}}</ref><ref name="Sim-Diasca"/><ref name="whatsapp.blog.2012">[http://blog.whatsapp.com/index.php/2012/01/1-million-is-so-2011/ 1 million is so 2011] {{Webarchive|url=https://web.archive.org/web/20140219234031/http://blog.whatsapp.com/index.php/2012/01/1-million-is-so-2011/ |date=2014-02-19}} // WhatsApp blog, 2012-01-06: "the last important piece of our infrastracture is Erlang"</ref> स्कीम (प्रोग्रामिंग भाषा), लिस्प (प्रोग्रामिंग भाषा) की एक बोली, का उपयोग प्रारंभिक [[एप्पल मैकिंटोश]] कंप्यूटरों पर कई अनुप्रयोगों के आधार के रूप में किया गया था।<ref name="clinger1987"/><ref name="hartheimer1987"/>और इसे प्रशिक्षण-[[कंप्यूटर सिमुलेशन]] जैसी समस्याओं पर लागू किया गया है<ref name="kidd2007"/>और [[दूरबीन]] नियंत्रण.<ref name="cleis2006"/>OCaml, जिसे 1990 के दशक के मध्य में पेश किया गया था, ने वित्तीय विश्लेषण जैसे क्षेत्रों में व्यावसायिक उपयोग देखा है।<ref name="minksy2008"/>[[सॉफ्टवेयर ड्राइवर]] सत्यापन, औद्योगिक [[रोबोट]] प्रोग्रामिंग और [[उपकरणों के नियंत्रण के लिए सॉफ्टवेयर]] का स्थैतिक विश्लेषण।<ref name="leroy2007"/>हास्केल, हालांकि शुरू में एक शोध भाषा के रूप में अभिप्रेत था,<ref name="hudak2007"/>इसे एयरोस्पेस सिस्टम, हार्डवेयर डिज़ाइन और वेब प्रोग्रामिंग जैसे क्षेत्रों में भी लागू किया गया है।<ref name="haskell-industry"/><ref name="hudak2007"/>

अन्य कार्यात्मक प्रोग्रामिंग भाषाएं जिनका उद्योग में उपयोग देखा गया है उनमें स्काला (प्रोग्रामिंग भाषा), शामिल हैं।<ref>{{cite conference |last=Momtahan |first=Lee |title=Scala at EDF Trading: Implementing a Domain-Specific Language for Derivative Pricing with Scala |url=http://cufp.galois.com/2009/abstracts.html#LeeMomtahan |year=2009 |conference=CUFP 2009 |access-date=2009-08-29 |archive-url=https://web.archive.org/web/20091017070140/http://cufp.galois.com/2009/abstracts.html#LeeMomtahan |archive-date=2009-10-17 |url-status=dead}}</ref> एफ शार्प (प्रोग्रामिंग भाषा)|एफ#,<ref name='quantFSharp'/><ref name='businessAppsFSharp'/>वोल्फ्राम भाषा,<ref name="reference.wolfram.com"/>लिस्प (प्रोग्रामिंग भाषा),<ref>{{cite web |last=Graham |first=Paul |title=औसत को मात देना|url=http://www.paulgraham.com/avg.html |year=2003 |access-date=2009-08-29}}</ref> मानक एमएल<ref>{{cite conference |last=Sims |first=Steve |title=स्टैंडर्ड एमएल के साथ एक स्टार्टअप का निर्माण|url=http://cufp.galois.com/2006/slides/SteveSims.pdf |year=2006 |conference=CUFP 2006 |access-date=2009-08-29}}</ref><ref>{{cite conference |last=Laurikari |first=Ville |title=संचार सुरक्षा में कार्यात्मक प्रोग्रामिंग।|url=http://cufp.galois.com/2007/abstracts.html#VilleLaurikari |year=2007 |conference=CUFP 2007 |access-date=2009-08-29}}</ref> और क्लोजर.<ref>{{cite web |url=http://www.infoq.com/news/2009/01/clojure_production |last=Lorimer |first=R. J. |title=लाइव प्रोडक्शन क्लोजर एप्लिकेशन की घोषणा की गई|date=19 January 2009|work=InfoQ}}</ref>
वित्त में जोखिम विश्लेषण के लिए कार्यात्मक मंच लोकप्रिय रहे हैं (विशेषकर बड़े निवेश बैंकों के साथ)। जोखिम कारकों को ऐसे कार्यों के रूप में कोडित किया जाता है जो बाजार बदलावों में सहसंबंधों को मापने के लिए अन्योन्याश्रित ग्राफ (श्रेणियां) बनाते हैं, ग्रोबनेर आधार अनुकूलन के समान लेकिन [[व्यापक पूंजी विश्लेषण और समीक्षा]] जैसे नियामक ढांचे के लिए भी। वित्त में O[[Caml]] और Caml विविधताओं के उपयोग को देखते हुए, इन प्रणालियों को कभी-कभी एक [[श्रेणीबद्ध अमूर्त मशीन]] से संबंधित माना जाता है। कार्यात्मक प्रोग्रामिंग श्रेणी सिद्धांत से काफी प्रभावित है।{{Citation needed|date=August 2022}}

=== शिक्षा ===
कई [[विश्वविद्यालय]] कार्यात्मक प्रोग्रामिंग पढ़ाते हैं।<ref name="oxfordFP">{{cite web|url=https://www.cs.ox.ac.uk/teaching/courses/2019-2020/fp/|title=Functional Programming: 2019-2020|publisher=University of Oxford Department of Computer Science|access-date=28 April 2020}}</ref><ref name="imperialFP">{{cite web|url=https://www.imperial.ac.uk/computing/current-students/courses/120_1/|title=प्रोग्रामिंग I (हास्केल)|publisher=Imperial College London Department of Computing|access-date=28 April 2020}}</ref><ref name="nottinghamFP">{{cite web|url=https://www.nottingham.ac.uk/ugstudy/course/Computer-Science-BSc#yearsmodules|title=कंप्यूटर साइंस बीएससी - मॉड्यूल|access-date=28 April 2020}}</ref><ref name="mitFP">{{cite book|last1=Abelson|first1=Hal|author-link1=Hal Abelson|last2=Sussman|first2=Gerald Jay|author-link2=Gerald Jay Sussman |title=कंप्यूटर प्रोग्राम की संरचना और व्याख्या|url=http://mitpress.mit.edu/sicp/ |year=1985|publisher=MIT Press|chapter=Preface to the Second Edition|edition=2|chapter-url=https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-6.html}}</ref> कुछ लोग इसे एक परिचयात्मक प्रोग्रामिंग अवधारणा के रूप में मानते हैं<ref name="mitFP"/>जबकि अन्य पहले अनिवार्य प्रोग्रामिंग विधियाँ सिखाते हैं।<ref name="nottinghamFP"/><ref name="61A">{{cite web|url=https://cs61a.org/articles/about.html|title=Computer Science 61A, Berkeley|author=John DeNero|date=Fall 2019|publisher=Department of Electrical Engineering and Computer Sciences, Berkeley|access-date=2020-08-14}}</ref>
कंप्यूटर विज्ञान के बाहर, कार्यात्मक प्रोग्रामिंग का उपयोग समस्या-समाधान, बीजगणितीय और ज्यामितीय अवधारणाओं को सिखाने के लिए किया जाता है।<ref name="bootstrapworld">{{Triangulation|196|Emmanuel Schanzer of Bootstrap}}</ref> इसका उपयोग शास्त्रीय यांत्रिकी सिखाने के लिए भी किया गया है, जैसा कि पुस्तक [[शास्त्रीय यांत्रिकी की संरचना और व्याख्या]] में किया गया है।

== यह भी देखें ==
{{Portal|Computer programming}}
* विशुद्ध रूप से कार्यात्मक प्रोग्रामिंग
* [[प्रोग्रामिंग प्रतिमानों की तुलना]]
*[[उत्सुक मूल्यांकन]]
* [[कार्यात्मक प्रोग्रामिंग विषयों की सूची]]
* [[नेस्टेड फ़ंक्शन]]
* [[आगमनात्मक कार्यात्मक प्रोग्रामिंग]]
* [[कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग]]

== नोट्स और संदर्भ ==
{{Notelist}}
{{Reflist
|refs =
<ref name="clinger1987">{{cite journal |last=Clinger |first=Will |title=MultiTasking and MacScheme |journal=MacTech |volume=3 |issue=12 |year=1987 |url=http://www.mactech.com/articles/mactech/Vol.03/03.12/Multitasking/index.html |access-date=2008-08-28}}</ref>

<ref name="hartheimer1987">{{cite journal |last=Hartheimer |first=Anne |title=Programming a Text Editor in MacScheme+Toolsmith |journal=MacTech |volume=3 |issue=1 |year=1987 |url=http://www.mactech.com/articles/mactech/Vol.03/03.1/SchemeWindows/index.html |access-date=2008-08-28 |url-status=dead |archive-url=https://web.archive.org/web/20110629183752/http://www.mactech.com/articles/mactech/Vol.03/03.1/SchemeWindows/index.html |archive-date=2011-06-29}}</ref>

<ref name="kidd2007">{{cite conference |last=Kidd |first=Eric |url=http://cufp.galois.com/2007/abstracts.html#EricKidd |title=Terrorism Response Training in Scheme |conference=CUFP 2007 |access-date=2009-08-26}}</ref>

<ref name="cleis2006">{{cite conference |last=Cleis |first=Richard |url=http://cufp.galois.com/2006/abstracts.html#RichardCleis |title=Scheme in Space |conference=CUFP 2006 |access-date=2009-08-26}}</ref>

<ref name="erlang-faq">{{cite web |title=Who uses Erlang for product development? |work=Frequently asked questions about Erlang |url=http://erlang.org/faq/introduction.html#idp32582608 |access-date=2018-04-27}}</ref>

<ref name="armstrong2007">{{cite conference |last=Armstrong |first=Joe |title=Proceedings of the third ACM SIGPLAN conference on History of programming languages |chapter=A history of Erlang |conference=Third ACM SIGPLAN Conference on History of Programming Languages |location=San Diego, California |date=June 2007 |doi=10.1145/1238844.1238850 |isbn=9781595937667}}</ref>

<ref name="larson2009">{{cite journal |last=Larson |first=Jim |title=Erlang for concurrent programming |journal=Communications of the ACM |volume= 52 |issue= 3 |date=March 2009 |doi=10.1145/1467247.1467263 |page=48 |s2cid=524392 |doi-access=free}}</ref>

<ref name="minksy2008">{{cite journal |last1=Minsky |first1=Yaron |last2=Weeks |first2=Stephen |title=Caml Trading&nbsp;— experiences with functional programming on Wall Street |journal=Journal of Functional Programming |volume=18 |issue=4 |pages=553–564 |date=July 2008 |doi=10.1017/S095679680800676X |s2cid=30955392 |doi-access=free }}</ref>

<ref name="leroy2007">{{cite conference |last=Leroy |first=Xavier |title=Some uses of Caml in Industry |url=http://cufp.galois.com/2007/slides/XavierLeroy.pdf |conference=CUFP 2007 |access-date=2009-08-26}}</ref><ref name="haskell-industry">{{cite web |title=Haskell in industry |work=Haskell Wiki |url=http://www.haskell.org/haskellwiki/Haskell_in_industry |access-date=2009-08-26 |quote=Haskell has a diverse range of use commercially, from aerospace and defense, to finance, to web startups, hardware design firms and lawnmower manufacturers.}}</ref>

<ref name="effective-scala">{{cite web |title=Effective Scala |work=Scala Wiki |url=https://twitter.github.com/effectivescala/?sd |access-date=2012-02-21 |quote=Effective Scala.}}</ref>

<ref name="java-8-javadoc">{{cite web |title=Documentation for package java.util.function since Java 8 (also known as Java 1.8) |url=https://docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html |access-date=2021-06-16}}</ref>

<ref name="racket-video-games">{{cite web |title=State-Based Scripting in Uncharted 2 |url=http://www.gameenginebook.com/gdc09-statescripting-uncharted2.pdf |archive-url=https://web.archive.org/web/20121215014637/http://www.gameenginebook.com/gdc09-statescripting-uncharted2.pdf |archive-date=2012-12-15 |access-date=2011-08-08}}</ref>

<ref name="hudak2007">{{cite conference |last1=Hudak |first1=Paul |last2=Hughes |first2=J. |last3=Jones |first3=S. P. |last4=Wadler |first4=P.  |author-link1=Paul Hudak |title=A history of Haskell: being lazy with class |url=http://dl.acm.org/citation.cfm?doid=1238844.1238856 |conference=Third ACM SIGPLAN Conference on History of Programming Languages |location=San Diego, California| date=June 2007 |doi=10.1145/1238844.1238856 |access-date=2013-09-26}}</ref>

<ref name="useR">{{cite web |url=http://www.r-project.org/useR-2006/program.html |title=The useR! 2006 conference schedule includes papers on the commercial use of R |publisher=R-project.org |date=2006-06-08  |access-date=2011-06-20}}</ref><ref name="Chambers">{{cite book |last=Chambers |first=John M. |author-link=John Chambers (programmer) |title=Programming with Data: A Guide to the S Language |publisher=Springer Verlag |year=1998 |pages=67–70 |isbn=978-0-387-98503-9}}</ref>

<ref name="Amath-CO">{{cite web |website= Department of Applied Math |publisher= University of Colorado |title=Functional vs. Procedural Programming Language |url=http://amath.colorado.edu/computing/mmm/funcproc.html |archive-url=https://web.archive.org/web/20071113175801/http://amath.colorado.edu/computing/mmm/funcproc.html |archive-date=2007-11-13}}</ref>

<ref name="Novatchev">{{cite web |url=http://fxsl.sourceforge.net/articles/FuncProg/Functional%20Programming.html |first=Dimitre |last=Novatchev |title=The Functional Programming Language XSLT — A proof through examples |access-date=May 27, 2006}}</ref><ref name="Mertz">{{cite web |url=http://gnosis.cx/publish/programming/xml_models_fp.html |first=David |last=Mertz |title=XML Programming Paradigms (part four): Functional Programming approached to XML processing |access-date=May 27, 2006 |work=IBM developerWorks}}</ref>

<ref name="Chamberlin_Boyce">{{cite journal |title=SEQUEL: A structured English query language |first1=Donald D. |last1=Chamberlin |author-link1=Donald D. Chamberlin |first2=Raymond F. |last2=Boyce |author-link2=Raymond F. Boyce |journal=Proceedings of the 1974 ACM SIGFIDET |pages=249–264 |year=1974}}</ref><ref name="Sim-Diasca">{{cite web |title=Sim-Diasca: a large-scale discrete event concurrent simulation engine in Erlang |url=http://research.edf.com/research-and-the-scientific-community/software/sim-diasca-80704.html |date=November 2011}}</ref>

<ref name="Spiewak">{{cite web |url=http://www.codecommit.com/blog/scala/implementing-persistent-vectors-in-scala |first=Daniel |last=Spiewak |title=Implementing Persistent Vectors in Scala |date=26 August 2008 |website=Code Commit}}</ref>
}}

== अग्रिम पठन ==
* {{cite book |last1=Abelson |first1=Hal |author-link1=Hal Abelson|last2=Sussman|first2=Gerald Jay |author-link2=Gerald Jay Sussman |title=Structure and Interpretation of Computer Programs |url=http://mitpress.mit.edu/sicp/ |year=1985|publisher=MIT Press}}
* Cousineau, Guy and Michel Mauny. ''The Functional Approach to Programming''. Cambridge, UK: [[Cambridge University Press]], 1998.
* Curry, Haskell Brooks and Feys, Robert and Craig, William. ''Combinatory Logic''. Volume I. North-Holland Publishing Company, Amsterdam, 1958.
* {{cite book |last1=Curry |first1=Haskell B. |first2=J. Roger |last2=Hindley |first3=Jonathan P. |last3=Seldin |author-link1=Haskell Curry |author-link2=J. Roger Hindley |author-link3=Jonathan P. Seldin |title=Combinatory Logic |volume=II |year=1972 |publisher=North Holland |location=Amsterdam |isbn=978-0-7204-2208-5}}
* Dominus, Mark Jason. ''[http://hop.perl.plover.com/book/pdf/HigherOrderPerl.pdf Higher-Order Perl]''. [[Morgan Kaufmann]]. 2005.
* {{cite book|last1=Felleisen|first1=Matthias|last2=Findler|first2=Robert|last3=Flatt|first3=Matthew|first4=Shriram |last4=Krishnamurthi |title=How to Design Programs |url=http://www.htdp.org |year=2018|publisher=MIT Press}}
* Graham, Paul. ''ANSI Common LISP''. Englewood Cliffs, New Jersey: [[Prentice Hall]], 1996.
* MacLennan, Bruce J. ''Functional Programming: Practice and Theory''. Addison-Wesley, 1990.
*{{cite book |last1=Michaelson |first1=Greg |title=An Introduction to Functional Programming Through Lambda Calculus |date=10 April 2013 |publisher=Courier Corporation |isbn=978-0-486-28029-5 |language=en}}<ref>{{cite web |title=Greg Michaelson's Homepage |url=http://www.macs.hw.ac.uk/~greg/ |website=Mathematical and Computer Sciences |publisher=[[Heriot-Watt University]] |access-date=6 November 2022 |location=Riccarton, Edinburgh}}</ref>
* {{cite book|last1=O'Sullivan|first1=Brian|last2=Stewart|first2=Don|last3=Goerzen|first3=John |title=Real World Haskell |url=http://book.realworldhaskell.org/read/ |year=2008|publisher=O'Reilly}}
* Pratt, Terrence W. and [[Marvin Victor Zelkowitz]]. ''Programming Languages: Design and Implementation''. 3rd ed. Englewood Cliffs, New Jersey: [[Prentice Hall]], 1996.
* Salus, Peter H. ''Functional and Logic Programming Languages''. Vol. 4 of Handbook of Programming Languages. Indianapolis, Indiana: [[Macmillan Technical Publishing]], 1998.
* Thompson, Simon. ''Haskell: The Craft of Functional Programming''. Harlow, England: [[Addison-Wesley Longman Limited]], 1996.


== बाहरी संबंध ==
{{Spoken Wikipedia|En-Functional_programming.ogg|date=2011-08-25}}
* {{cite web
| last=Ford
| first=Neal
| title=Functional thinking
| access-date=2021-11-10
| url=http://nealford.com/functionalthinking.html
}}
* {{cite web
| last=Akhmechet
| first=Slava
| title=defmacro – Functional Programming For The Rest of Us
| access-date=2013-02-24
| date=2006-06-19
| url=http://www.defmacro.org/ramblings/fp.html
}} An introduction
* ''Functional programming in Python'' (by David Mertz): [http://gnosis.cx/publish/programming/charming_python_13.html part 1], [http://gnosis.cx/publish/programming/charming_python_16.html part 2], [http://gnosis.cx/publish/programming/charming_python_19.html part 3]

{{Programming paradigms navbox}}
{{Types of programming languages}}

{{Authority control}}

{{DEFAULTSORT:Functional programming}}[[Category: कार्यात्मक प्रोग्रामिंग| कार्यात्मक प्रोग्रामिंग]] [[Category: प्रोग्रामिंग प्रतिमान]] [[Category: उदाहरण सी कोड वाले लेख]] 



[[Category: Machine Translated Page]]
[[Category:Created On 01/03/2024]]