फंक्शनल रिएक्टिव प्रोग्रामिंग: Difference between revisions
(Created page with "{{Distinguish|text=factory reset protection (FRP), a feature in some android devices}} {{Programming paradigms}} कार्यात्मक...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Distinguish|text=factory reset protection (FRP), a feature in some [[Android (operating system)|android]] devices}} | {{Distinguish|text=factory reset protection (FRP), a feature in some [[Android (operating system)|android]] devices}} | ||
{{Programming paradigms}} | {{Programming paradigms}} | ||
कार्यात्मक [[प्रतिक्रियाशील प्रोग्रामिंग]] (एफआरपी) [[कार्यात्मक प्रोग्रामिंग]] के बिल्डिंग ब्लॉक्स (जैसे मैप (उच्च-ऑर्डर फ़ंक्शन), फोल्ड (उच्च-ऑर्डर फ़ंक्शन), फ़िल्टर (उच्च-ऑर्डर फ़ंक्शन)) का उपयोग करके प्रतिक्रियाशील प्रोग्रामिंग ([[ अतुल्यकालिक प्रोग्रामिंग ]] [[डेटाफ्लो प्रोग्रामिंग]]) के लिए | कार्यात्मक [[प्रतिक्रियाशील प्रोग्रामिंग]] (एफआरपी) [[कार्यात्मक प्रोग्रामिंग]] के बिल्डिंग ब्लॉक्स (जैसे मैप (उच्च-ऑर्डर फ़ंक्शन), फोल्ड (उच्च-ऑर्डर फ़ंक्शन), फ़िल्टर (उच्च-ऑर्डर फ़ंक्शन)) का उपयोग करके प्रतिक्रियाशील प्रोग्रामिंग ([[ अतुल्यकालिक प्रोग्रामिंग ]] [[डेटाफ्लो प्रोग्रामिंग]]) के लिए [[प्रोग्रामिंग प्रतिमान]] है। एफआरपी का उपयोग [[ ग्राफिकल यूज़र इंटरफ़ेस ]] (जीयूआई), [[रोबोटिक]]्स, गेम्स और संगीत प्रोग्रामिंग के लिए किया गया है, जिसका लक्ष्य स्पष्ट रूप से मॉडलिंग समय द्वारा इन समस्याओं को सरल बनाना है।{{Citation needed|date = March 2016}} | ||
== एफआरपी का सूत्रीकरण == | == एफआरपी का सूत्रीकरण == | ||
कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग का मूल सूत्रीकरण [[कॉनल इलियट]] और [[पॉल हुडक]] द्वारा ICFP 97 पेपर कार्यात्मक प्रतिक्रियाशील एनीमेशन में पाया जा सकता है।<ref>{{cite web |last1=Elliott |first1=Conal |last2=Hudak |first2=Paul |title=कार्यात्मक प्रतिक्रियाशील एनिमेशन|url=http://conal.net/papers/icfp97/ |website=कार्यात्मक प्रतिक्रियाशील एनिमेशन|publisher=ICFP ’97 |access-date=14 July 2018 |ref=fran}}</ref> | कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग का मूल सूत्रीकरण [[कॉनल इलियट]] और [[पॉल हुडक]] द्वारा ICFP 97 पेपर कार्यात्मक प्रतिक्रियाशील एनीमेशन में पाया जा सकता है।<ref>{{cite web |last1=Elliott |first1=Conal |last2=Hudak |first2=Paul |title=कार्यात्मक प्रतिक्रियाशील एनिमेशन|url=http://conal.net/papers/icfp97/ |website=कार्यात्मक प्रतिक्रियाशील एनिमेशन|publisher=ICFP ’97 |access-date=14 July 2018 |ref=fran}}</ref> | ||
1997 में अपनी शुरुआत के बाद से एफआरपी ने कई रूप ले लिए हैं। विविधता की | 1997 में अपनी शुरुआत के बाद से एफआरपी ने कई रूप ले लिए हैं। विविधता की धुरी असतत बनाम निरंतर शब्दार्थ है। अन्य धुरी यह है कि एफआरपी सिस्टम को गतिशील रूप से कैसे बदला जा सकता है।<ref>{{Citation | first1 = Henrik | last1 = Nilsson | first2 = Antony | last2 = Courtney | first3 = John | last3 = Peterson | url = https://www.antonycourtney.com/pubs/frpcont.pdf | contribution = Functional Reactive Programming, Continued | title = Haskell Workshop | orig-year = 2002 |date=Feb 2011 | number = 2}}.</ref> | ||
'''सतत''' | |||
एफआरपी के शुरुआती सूत्रीकरण में निरंतर शब्दार्थ का उपयोग किया गया था, जिसका लक्ष्य कई परिचालन विवरणों का सार निकालना था जो किसी कार्यक्रम के अर्थ के लिए महत्वपूर्ण नहीं हैं।<ref>{{Citation | first1 = Conal | last1 = Elliott | first2 = Paul | last2 = Hudak | contribution-url = http://conal.net/papers/icfp97/ | contribution = Functional Reactive Animation | title = ICFP | year = 1997}}.</ref> इस फॉर्मूलेशन के प्रमुख गुण हैं: | एफआरपी के शुरुआती सूत्रीकरण में निरंतर शब्दार्थ का उपयोग किया गया था, जिसका लक्ष्य कई परिचालन विवरणों का सार निकालना था जो किसी कार्यक्रम के अर्थ के लिए महत्वपूर्ण नहीं हैं।<ref>{{Citation | first1 = Conal | last1 = Elliott | first2 = Paul | last2 = Hudak | contribution-url = http://conal.net/papers/icfp97/ | contribution = Functional Reactive Animation | title = ICFP | year = 1997}}.</ref> इस फॉर्मूलेशन के प्रमुख गुण हैं: | ||
Line 18: | Line 18: | ||
साइड इफेक्ट (कंप्यूटर विज्ञान)|साइड-इफेक्ट मुक्त भाषाओं में एफआरपी का यह सिमेंटिक मॉडल आमतौर पर निरंतर कार्यों के संदर्भ में है, और आमतौर पर समय के साथ।<ref>{{Citation | first1 = Antony | last1 = Courtney | first2 = Conal | last2 = Elliott | contribution-url = https://www.antonycourtney.com/pubs/genuinely-functional-guis.ps.gz |date=Feb 2011 | publisher = Yale | contribution = Genuinely Functional User Interfaces | orig-year = 2001 | title = Haskell Workshop}}.</ref> इस फॉर्मूलेशन को डिनोटेटिव कंटीन्यूअस टाइम प्रोग्रामिंग (DCTP) भी कहा जाता है।<ref>{{Citation | first1 = Conal | last1 = Elliot | contribution-url = http://conal.net/talks/denotational-design-lambdajam-2014.pdf | contribution = Denotational Design | title = LambdaJam | year = 2014 | access-date = 5 May 2023}}</ref> | साइड इफेक्ट (कंप्यूटर विज्ञान)|साइड-इफेक्ट मुक्त भाषाओं में एफआरपी का यह सिमेंटिक मॉडल आमतौर पर निरंतर कार्यों के संदर्भ में है, और आमतौर पर समय के साथ।<ref>{{Citation | first1 = Antony | last1 = Courtney | first2 = Conal | last2 = Elliott | contribution-url = https://www.antonycourtney.com/pubs/genuinely-functional-guis.ps.gz |date=Feb 2011 | publisher = Yale | contribution = Genuinely Functional User Interfaces | orig-year = 2001 | title = Haskell Workshop}}.</ref> इस फॉर्मूलेशन को डिनोटेटिव कंटीन्यूअस टाइम प्रोग्रामिंग (DCTP) भी कहा जाता है।<ref>{{Citation | first1 = Conal | last1 = Elliot | contribution-url = http://conal.net/talks/denotational-design-lambdajam-2014.pdf | contribution = Denotational Design | title = LambdaJam | year = 2014 | access-date = 5 May 2023}}</ref> | ||
'''असतत''' | |||
इवेंट-संचालित एफआरपी और 0.17 से पहले [[एल्म (प्रोग्रामिंग भाषा)]] के संस्करणों जैसे फॉर्मूलेशन के लिए आवश्यक है कि अपडेट अलग-अलग और इवेंट-संचालित हों।<ref>{{Citation | first1 = Walid | last1 = Taha | first2 = Zhanyong | last2 = Wan | first3 = Paul | last3 = Hudak | url = http://www.cs.yale.edu/homes/zwan/papers/mcu/efrp.pdf | contribution = Event-Driven FRP | title = PADL | year = 2002 | publisher = Yale | access-date = 2013-09-23 | archive-url = https://web.archive.org/web/20130928163653/http://www.cs.yale.edu/homes/zwan/papers/mcu/efrp.pdf | archive-date = 2013-09-28 | url-status = dead }}.</ref> इन फॉर्मूलेशनों ने व्यावहारिक एफआरपी पर जोर दिया है, जिसमें शब्दार्थ पर ध्यान केंद्रित किया गया है जिसमें सरल एपीआई है जिसे रोबोटिक्स या वेब-ब्राउज़र जैसी सेटिंग में कुशलतापूर्वक लागू किया जा सकता है।<ref>{{Citation | first1 = Evan | last1 = Czaplicki | first2 = Stephen | last2 = Chong | publisher = Harvard | contribution-url = http://people.seas.harvard.edu/~chong/abstracts/CzaplickiC13.html | contribution = Asynchronous Functional Reactive Programming for GUIs | title = PLDI | year = 2013}}.</ref> | |||
इवेंट-संचालित एफआरपी और 0.17 से पहले [[एल्म (प्रोग्रामिंग भाषा)]] के संस्करणों जैसे फॉर्मूलेशन के लिए आवश्यक है कि अपडेट अलग-अलग और इवेंट-संचालित हों।<ref>{{Citation | first1 = Walid | last1 = Taha | first2 = Zhanyong | last2 = Wan | first3 = Paul | last3 = Hudak | url = http://www.cs.yale.edu/homes/zwan/papers/mcu/efrp.pdf | contribution = Event-Driven FRP | title = PADL | year = 2002 | publisher = Yale | access-date = 2013-09-23 | archive-url = https://web.archive.org/web/20130928163653/http://www.cs.yale.edu/homes/zwan/papers/mcu/efrp.pdf | archive-date = 2013-09-28 | url-status = dead }}.</ref> इन फॉर्मूलेशनों ने व्यावहारिक एफआरपी पर जोर दिया है, जिसमें शब्दार्थ पर ध्यान केंद्रित किया गया है जिसमें | इन फॉर्मूलेशन में, यह आम बात है कि व्यवहार और घटनाओं के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका हमेशा वर्तमान मूल्य होता है, लेकिन वे अलग-अलग रूप से बदलते हैं।<ref>{{Citation | date = Feb 2011 | first1 = Zhanyong | last1 = Wan | first2 = Walid | last2 = Taha | first3 = Paul | last3 = Hudak | url = http://haskell.cs.yale.edu/wp-content/uploads/2011/02/rt-frp.pdf | contribution = Real-Time FRP | title = ICFP | number = 1 | access-date = 2013-09-23 | archive-url = https://web.archive.org/web/20130928163734/http://haskell.cs.yale.edu/wp-content/uploads/2011/02/rt-frp.pdf | archive-date = 2013-09-28 | url-status = dead }}.</ref> | ||
इन फॉर्मूलेशन में, यह आम बात है कि व्यवहार और घटनाओं के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका हमेशा | |||
== इंटरैक्टिव एफआरपी == | |||
==इंटरैक्टिव एफआरपी== | यह बताया गया है कि सामान्य एफआरपी मॉडल, इनपुट से आउटपुट तक, इंटरैक्टिव कार्यक्रमों के लिए खराब रूप से अनुकूल है।<ref>{{Cite web|url=http://conal.net/blog/posts/why-classic-frp-does-not-fit-interactive-behavior|title = Conal Elliott » Why classic FRP does not fit interactive behavior |date=December 9, 2008 |archive-url=https://web.archive.org/web/20221012020700/http://conal.net/blog/posts/why-classic-frp-does-not-fit-interactive-behavior |archive-date=2022-10-12 |url-status=live}}</ref> इनपुट से आउटपुट तक मैपिंग के भीतर प्रोग्राम चलाने की क्षमता में कमी का मतलब निम्नलिखित समाधानों में से का उपयोग करना हो सकता है: | ||
यह बताया गया है कि सामान्य एफआरपी मॉडल, इनपुट से आउटपुट तक, इंटरैक्टिव कार्यक्रमों के लिए खराब रूप से अनुकूल है।<ref>{{Cite web|url=http://conal.net/blog/posts/why-classic-frp-does-not-fit-interactive-behavior|title = Conal Elliott » Why classic FRP does not fit interactive behavior |date=December 9, 2008 |archive-url=https://web.archive.org/web/20221012020700/http://conal.net/blog/posts/why-classic-frp-does-not-fit-interactive-behavior |archive-date=2022-10-12 |url-status=live}}</ref> इनपुट से आउटपुट तक मैपिंग के भीतर प्रोग्राम चलाने की क्षमता में कमी का मतलब निम्नलिखित समाधानों में से | *क्रियाओं की डेटा संरचना बनाएं जो आउटपुट के रूप में दिखाई दें। क्रियाएँ किसी बाहरी दुभाषिया या परिवेश द्वारा चलायी जानी चाहिए। इसमें हास्केल की मूल स्ट्रीम I/O प्रणाली की सभी कठिनाइयाँ विरासत में मिली हैं।<ref>{{cite web |url=https://courses.cs.washington.edu/courses/cse505/01au/functional/functional-io.pdf |title=I/O in Purely Functional Languages |first=Alan |last=Borning |archive-url=https://web.archive.org/web/20220428171557/https://courses.cs.washington.edu/courses/cse505/01au/functional/functional-io.pdf |archive-date=2022-04-28 |url-status=live}}</ref> | ||
*क्रियाओं की | |||
*एरोइज्ड एफआरपी और एम्बेड तीरों का उपयोग करें जो कार्य करने में सक्षम हैं। क्रियाओं में पहचान भी हो सकती है, जो उन्हें उदाहरण के लिए अलग-अलग परिवर्तनशील स्टोर बनाए रखने की अनुमति देती है। यह फ़जेट्स लाइब्रेरी द्वारा अपनाया गया दृष्टिकोण है<ref>{{Cite web|url=https://cth.altocumulus.org/~hallgren/Thesis/fudgets_thesis_color.pdf|title=Fudgets – Purely Functional Processes with applications to Graphical User Interfaces|first1=Magnus|last1=Carlsson|first2=Thomas|last2=Hallgren|year=1998|archive-url=https://web.archive.org/web/20221015141447/https://cth.altocumulus.org/~hallgren/Thesis/fudgets_thesis_color.pdf|archive-date=2022-10-15|url-status=live}}</ref> और, अधिक सामान्यतः, मोनाडिक स्ट्रीम फ़ंक्शंस।<ref>{{Citation |date=July 2016 | first1 = Ivan | last1 = Perez | first2 = Manuel | last2 = Barenz | first3 = Henrik | last3 = Nilsson | url = http://www.cs.nott.ac.uk/~psxip1/papers/2016-HaskellSymposium-Perez-Barenz-Nilsson-FRPRefactored-short.pdf | contribution = Functional Reactive Programming, Refactored | title = Haskell Symposium}}.</ref> | *एरोइज्ड एफआरपी और एम्बेड तीरों का उपयोग करें जो कार्य करने में सक्षम हैं। क्रियाओं में पहचान भी हो सकती है, जो उन्हें उदाहरण के लिए अलग-अलग परिवर्तनशील स्टोर बनाए रखने की अनुमति देती है। यह फ़जेट्स लाइब्रेरी द्वारा अपनाया गया दृष्टिकोण है<ref>{{Cite web|url=https://cth.altocumulus.org/~hallgren/Thesis/fudgets_thesis_color.pdf|title=Fudgets – Purely Functional Processes with applications to Graphical User Interfaces|first1=Magnus|last1=Carlsson|first2=Thomas|last2=Hallgren|year=1998|archive-url=https://web.archive.org/web/20221015141447/https://cth.altocumulus.org/~hallgren/Thesis/fudgets_thesis_color.pdf|archive-date=2022-10-15|url-status=live}}</ref> और, अधिक सामान्यतः, मोनाडिक स्ट्रीम फ़ंक्शंस।<ref>{{Citation |date=July 2016 | first1 = Ivan | last1 = Perez | first2 = Manuel | last2 = Barenz | first3 = Henrik | last3 = Nilsson | url = http://www.cs.nott.ac.uk/~psxip1/papers/2016-HaskellSymposium-Perez-Barenz-Nilsson-FRPRefactored-short.pdf | contribution = Functional Reactive Programming, Refactored | title = Haskell Symposium}}.</ref> | ||
*नया तरीका यह है कि कार्रवाइयों को अभी (आईओ मोनड में) चलाने की अनुमति दी जाए लेकिन उनके परिणामों की प्राप्ति को बाद तक के लिए टाल दिया जाए।<ref>{{Cite web |url=http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf |title=व्यावहारिक सैद्धांतिक एफआरपी|author1=Atze van der Ploeg |first2=Koen |last2=Claessen |access-date=2015-07-24 |archive-url=https://web.archive.org/web/20150701030428/http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf |archive-date=2015-07-01 |url-status=dead }}</ref> यह इवेंट और IO मोनैड के बीच इंटरैक्शन का उपयोग करता है, और अधिक अभिव्यक्ति-उन्मुख FRP के साथ संगत है: | *नया तरीका यह है कि कार्रवाइयों को अभी (आईओ मोनड में) चलाने की अनुमति दी जाए लेकिन उनके परिणामों की प्राप्ति को बाद तक के लिए टाल दिया जाए।<ref>{{Cite web |url=http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf |title=व्यावहारिक सैद्धांतिक एफआरपी|author1=Atze van der Ploeg |first2=Koen |last2=Claessen |access-date=2015-07-24 |archive-url=https://web.archive.org/web/20150701030428/http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf |archive-date=2015-07-01 |url-status=dead }}</ref> यह इवेंट और IO मोनैड के बीच इंटरैक्शन का उपयोग करता है, और अधिक अभिव्यक्ति-उन्मुख FRP के साथ संगत है: | ||
Line 37: | Line 36: | ||
एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित और पुल-आधारित। पुश-आधारित प्रणालियाँ घटनाएँ लेती हैं और परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से धकेलती हैं। पुल-आधारित प्रणालियाँ परिणाम की मांग होने तक प्रतीक्षा करती हैं, और मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर काम करती हैं। | एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित और पुल-आधारित। पुश-आधारित प्रणालियाँ घटनाएँ लेती हैं और परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से धकेलती हैं। पुल-आधारित प्रणालियाँ परिणाम की मांग होने तक प्रतीक्षा करती हैं, और मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर काम करती हैं। | ||
कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा नमूने खींचे जाते हैं। इस दृष्टिकोण में | कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा नमूने खींचे जाते हैं। इस दृष्टिकोण में खामी है: नेटवर्क को इनपुट में परिवर्तन के बारे में पता लगाने के लिए गणना चरण की अवधि तक इंतजार करना पड़ता है। नमूनाकरण पुल-आधारित एफआरपी का उदाहरण है। | ||
[[हैकेज]] पर | [[हैकेज]] पर रि्टिव और एटेज लाइब्रेरी ने पुश-पुल एफआरपी नामक दृष्टिकोण पेश किया। इस दृष्टिकोण में, केवल जब विशुद्ध रूप से परिभाषित स्ट्रीम पर अगली घटना (जैसे समय के साथ निश्चित घटनाओं की सूची) की मांग की जाती है, तो उस घटना का निर्माण किया जाता है। ये विशुद्ध रूप से परिभाषित धाराएँ हास्केल में आलसी सूचियों की तरह काम करती हैं। वह पुल-आधारित आधा है। पुश-आधारित आधे का उपयोग तब किया जाता है जब सिस्टम के बाहर की घटनाओं को लाया जाता है। बाहरी घटनाओं को उपभोक्ताओं तक पहुंचाया जाता है, ताकि वे किसी घटना के जारी होते ही उसके बारे में पता लगा सकें। | ||
== कार्यान्वयन == | == कार्यान्वयन == | ||
* याम्पा एसडीएल, एसडीएल2, ओपनजीएल और एचटीएमएल डोम समर्थन के साथ | * याम्पा एसडीएल, एसडीएल2, ओपनजीएल और एचटीएमएल डोम समर्थन के साथ तीरांकित, कुशल, शुद्ध [[हास्केल (प्रोग्रामिंग भाषा)]] कार्यान्वयन है। | ||
* प्रोग्रामिंग भाषा एल्म (प्रोग्रामिंग भाषा) का उपयोग एफआरपी का समर्थन करने के लिए किया जाता है <ref>{{Citation | first = Evan | last = Czaplicki | url = https://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf | title = Elm: Concurrent FRP for Functional GUIs | date = Apr 2012 | place = Harvard | type = thesis | access-date = 2015-02-17 | archive-url = https://web.archive.org/web/20160604000246/http://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf | archive-date = 2016-06-04 | url-status = dead }}.</ref> लेकिन तब से इसे | * प्रोग्रामिंग भाषा एल्म (प्रोग्रामिंग भाषा) का उपयोग एफआरपी का समर्थन करने के लिए किया जाता है <ref>{{Citation | first = Evan | last = Czaplicki | url = https://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf | title = Elm: Concurrent FRP for Functional GUIs | date = Apr 2012 | place = Harvard | type = thesis | access-date = 2015-02-17 | archive-url = https://web.archive.org/web/20160604000246/http://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf | archive-date = 2016-06-04 | url-status = dead }}.</ref> लेकिन तब से इसे अलग पैटर्न से बदल दिया गया है।<ref>{{cite web |last1=Czaplicki |first1=Evan |title=एफआरपी को विदाई|url=http://elm-lang.org/blog/farewell-to-frp |website=elm |access-date=14 July 2018 |ref=farewell-to-frp}}</ref> | ||
* रिफ्लेक्स [[वेब ब्राउज़र]]/[[ दस्तावेज़ ऑब्जेक्ट मॉडल ]], [[ सरल डायरेक्टमीडिया परत ]] और ग्लॉस के लिए होस्ट के साथ हास्केल में | * रिफ्लेक्स [[वेब ब्राउज़र]]/[[ दस्तावेज़ ऑब्जेक्ट मॉडल ]], [[ सरल डायरेक्टमीडिया परत ]] और ग्लॉस के लिए होस्ट के साथ हास्केल में कुशल पुश/पुल एफआरपी कार्यान्वयन है। | ||
* प्रतिक्रियाशील-केला हास्केल में | * प्रतिक्रियाशील-केला हास्केल में लक्ष्य-अज्ञेयवादी पुश एफआरपी कार्यान्वयन है। | ||
* नेटवायर और वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें। | * नेटवायर और वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें। | ||
* [[फ्लैपजैक्स]] [[जावास्क्रिप्ट]] में | * [[फ्लैपजैक्स]] [[जावास्क्रिप्ट]] में व्यवहार/घटना एफआरपी कार्यान्वयन है। | ||
* | * रि्ट कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग के लिए [[OCaml]] मॉड्यूल है। | ||
* सोडियम | * सोडियम पुश एफआरपी कार्यान्वयन है जो जावा, टाइपस्क्रिप्ट और सी# जैसी कई प्रोग्रामिंग भाषाओं के लिए विशिष्ट यूआई फ्रेमवर्क से स्वतंत्र है। | ||
* डुनाई [[मोनाडिक स्ट्रीम फ़ंक्शंस]] का उपयोग करके हास्केल में | * डुनाई [[मोनाडिक स्ट्रीम फ़ंक्शंस]] का उपयोग करके हास्केल में तेज़ कार्यान्वयन है जो क्लासिक और एरोवाइज़्ड एफआरपी का समर्थन करता है। | ||
* ऑब्जर्वेबलकंप्यूटेशंस, | * ऑब्जर्वेबलकंप्यूटेशंस, क्रॉस-प्लेटफ़ॉर्म .NET कार्यान्वयन। | ||
* स्टेला | * स्टेला अभिनेता-आधारित प्रतिक्रियाशील प्रोग्रामिंग भाषा है जो अभिनेताओं और रि्टरों के मॉडल को प्रदर्शित करती है जिसका उद्देश्य प्रतिक्रियाशील कोड के साथ अनिवार्य कोड के संयोजन के मुद्दों से बचना है (उन्हें अभिनेताओं और रि्टरों में अलग करके)।<ref name="stella">{{Citation | url = https://drops.dagstuhl.de/opus/volltexte/2020/13176/ | first1 = Sam | last1 = Van den Vonder | first2 = Thierry | last2 = Renaux | first3 = Bjarno | last3 = Oeyen | first4 = Joeri | last4 = De Koster | first5 = Wolfgang | last5 = De Meuter | contribution = Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model | title = Leibniz International Proceedings in Informatics (LIPIcs) | volume = 166 | year = 2020 | pages = 19:1–19:29 | doi = 10.4230/LIPIcs.ECOOP.2020.19| isbn = 9783959771542 }}.</ref> अभिनेता वितरित प्रतिक्रियाशील प्रणालियों में उपयोग के लिए उपयुक्त हैं।<ref name="stella2">{{Citation | url = https://programming-journal.org/2022/6/14/ | first1 = Sam | last1 = Van den Vonder | first2 = Thierry | last2 = Renaux | first3 = Wolfgang | last3 = De Meuter | contribution = Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks | title = The Art, Science, and Engineering of Programming | volume = 6:3 | year = 2022 | issue = 3 | pages = 14:1–14:36 | doi = 10.22152/programming-journal.org/2022/6/14 | s2cid = 246979565 }}</ref> | ||
*[[ज्वारीयचक्र]] संगीत पैटर्न के लिए | *[[ज्वारीयचक्र]] संगीत पैटर्न के लिए शुद्ध एफआरपी डोमेन विशिष्ट भाषा है, जो हास्केल (प्रोग्रामिंग भाषा) प्रोग्रामिंग भाषा में एम्बेडेड है। | ||
यह ध्यान देने योग्य है कि [[रिएक्टिवएक्स|रि्टिव्स]], अपने जावास्क्रिप्ट कार्यान्वयन आर्सजेएस द्वारा लोकप्रिय है, कार्यात्मक और प्रतिक्रियाशील है लेकिन कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग से अलग है।<ref>{{cite web |url=https://reactivex.io/intro.html |title=रिएक्टिवएक्स|website=ReactiveX.io |access-date=July 3, 2022}}</ref> | |||
== यह भी देखें == | == यह भी देखें == |
Revision as of 19:16, 4 August 2023
कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग (एफआरपी) कार्यात्मक प्रोग्रामिंग के बिल्डिंग ब्लॉक्स (जैसे मैप (उच्च-ऑर्डर फ़ंक्शन), फोल्ड (उच्च-ऑर्डर फ़ंक्शन), फ़िल्टर (उच्च-ऑर्डर फ़ंक्शन)) का उपयोग करके प्रतिक्रियाशील प्रोग्रामिंग (अतुल्यकालिक प्रोग्रामिंग डेटाफ्लो प्रोग्रामिंग) के लिए प्रोग्रामिंग प्रतिमान है। एफआरपी का उपयोग ग्राफिकल यूज़र इंटरफ़ेस (जीयूआई), रोबोटिक्स, गेम्स और संगीत प्रोग्रामिंग के लिए किया गया है, जिसका लक्ष्य स्पष्ट रूप से मॉडलिंग समय द्वारा इन समस्याओं को सरल बनाना है।[citation needed]
एफआरपी का सूत्रीकरण
कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग का मूल सूत्रीकरण कॉनल इलियट और पॉल हुडक द्वारा ICFP 97 पेपर कार्यात्मक प्रतिक्रियाशील एनीमेशन में पाया जा सकता है।[1] 1997 में अपनी शुरुआत के बाद से एफआरपी ने कई रूप ले लिए हैं। विविधता की धुरी असतत बनाम निरंतर शब्दार्थ है। अन्य धुरी यह है कि एफआरपी सिस्टम को गतिशील रूप से कैसे बदला जा सकता है।[2]
सतत
एफआरपी के शुरुआती सूत्रीकरण में निरंतर शब्दार्थ का उपयोग किया गया था, जिसका लक्ष्य कई परिचालन विवरणों का सार निकालना था जो किसी कार्यक्रम के अर्थ के लिए महत्वपूर्ण नहीं हैं।[3] इस फॉर्मूलेशन के प्रमुख गुण हैं:
- मॉडलिंग मान जो निरंतर समय के साथ बदलते रहते हैं, उन्हें व्यवहार और बाद के संकेत कहा जाता है।
- मॉडलिंग घटना (कंप्यूटिंग) जो समय में अलग-अलग बिंदुओं पर घटित होते हैं।
- सिस्टम को घटनाओं के जवाब में बदला जा सकता है, जिसे आम तौर पर स्विचिंग कहा जाता है।
- प्रतिक्रियाशील मॉडल से नमूनाकरण दर जैसे मूल्यांकन विवरण को अलग करना।
साइड इफेक्ट (कंप्यूटर विज्ञान)|साइड-इफेक्ट मुक्त भाषाओं में एफआरपी का यह सिमेंटिक मॉडल आमतौर पर निरंतर कार्यों के संदर्भ में है, और आमतौर पर समय के साथ।[4] इस फॉर्मूलेशन को डिनोटेटिव कंटीन्यूअस टाइम प्रोग्रामिंग (DCTP) भी कहा जाता है।[5]
असतत
इवेंट-संचालित एफआरपी और 0.17 से पहले एल्म (प्रोग्रामिंग भाषा) के संस्करणों जैसे फॉर्मूलेशन के लिए आवश्यक है कि अपडेट अलग-अलग और इवेंट-संचालित हों।[6] इन फॉर्मूलेशनों ने व्यावहारिक एफआरपी पर जोर दिया है, जिसमें शब्दार्थ पर ध्यान केंद्रित किया गया है जिसमें सरल एपीआई है जिसे रोबोटिक्स या वेब-ब्राउज़र जैसी सेटिंग में कुशलतापूर्वक लागू किया जा सकता है।[7] इन फॉर्मूलेशन में, यह आम बात है कि व्यवहार और घटनाओं के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका हमेशा वर्तमान मूल्य होता है, लेकिन वे अलग-अलग रूप से बदलते हैं।[8]
इंटरैक्टिव एफआरपी
यह बताया गया है कि सामान्य एफआरपी मॉडल, इनपुट से आउटपुट तक, इंटरैक्टिव कार्यक्रमों के लिए खराब रूप से अनुकूल है।[9] इनपुट से आउटपुट तक मैपिंग के भीतर प्रोग्राम चलाने की क्षमता में कमी का मतलब निम्नलिखित समाधानों में से का उपयोग करना हो सकता है:
- क्रियाओं की डेटा संरचना बनाएं जो आउटपुट के रूप में दिखाई दें। क्रियाएँ किसी बाहरी दुभाषिया या परिवेश द्वारा चलायी जानी चाहिए। इसमें हास्केल की मूल स्ट्रीम I/O प्रणाली की सभी कठिनाइयाँ विरासत में मिली हैं।[10]
- एरोइज्ड एफआरपी और एम्बेड तीरों का उपयोग करें जो कार्य करने में सक्षम हैं। क्रियाओं में पहचान भी हो सकती है, जो उन्हें उदाहरण के लिए अलग-अलग परिवर्तनशील स्टोर बनाए रखने की अनुमति देती है। यह फ़जेट्स लाइब्रेरी द्वारा अपनाया गया दृष्टिकोण है[11] और, अधिक सामान्यतः, मोनाडिक स्ट्रीम फ़ंक्शंस।[12]
- नया तरीका यह है कि कार्रवाइयों को अभी (आईओ मोनड में) चलाने की अनुमति दी जाए लेकिन उनके परिणामों की प्राप्ति को बाद तक के लिए टाल दिया जाए।[13] यह इवेंट और IO मोनैड के बीच इंटरैक्शन का उपयोग करता है, और अधिक अभिव्यक्ति-उन्मुख FRP के साथ संगत है:
planNow :: Event (IO a) -> IO (Event a)
कार्यान्वयन मुद्दे
एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित और पुल-आधारित। पुश-आधारित प्रणालियाँ घटनाएँ लेती हैं और परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से धकेलती हैं। पुल-आधारित प्रणालियाँ परिणाम की मांग होने तक प्रतीक्षा करती हैं, और मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर काम करती हैं।
कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा नमूने खींचे जाते हैं। इस दृष्टिकोण में खामी है: नेटवर्क को इनपुट में परिवर्तन के बारे में पता लगाने के लिए गणना चरण की अवधि तक इंतजार करना पड़ता है। नमूनाकरण पुल-आधारित एफआरपी का उदाहरण है।
हैकेज पर रि्टिव और एटेज लाइब्रेरी ने पुश-पुल एफआरपी नामक दृष्टिकोण पेश किया। इस दृष्टिकोण में, केवल जब विशुद्ध रूप से परिभाषित स्ट्रीम पर अगली घटना (जैसे समय के साथ निश्चित घटनाओं की सूची) की मांग की जाती है, तो उस घटना का निर्माण किया जाता है। ये विशुद्ध रूप से परिभाषित धाराएँ हास्केल में आलसी सूचियों की तरह काम करती हैं। वह पुल-आधारित आधा है। पुश-आधारित आधे का उपयोग तब किया जाता है जब सिस्टम के बाहर की घटनाओं को लाया जाता है। बाहरी घटनाओं को उपभोक्ताओं तक पहुंचाया जाता है, ताकि वे किसी घटना के जारी होते ही उसके बारे में पता लगा सकें।
कार्यान्वयन
- याम्पा एसडीएल, एसडीएल2, ओपनजीएल और एचटीएमएल डोम समर्थन के साथ तीरांकित, कुशल, शुद्ध हास्केल (प्रोग्रामिंग भाषा) कार्यान्वयन है।
- प्रोग्रामिंग भाषा एल्म (प्रोग्रामिंग भाषा) का उपयोग एफआरपी का समर्थन करने के लिए किया जाता है [14] लेकिन तब से इसे अलग पैटर्न से बदल दिया गया है।[15]
- रिफ्लेक्स वेब ब्राउज़र/दस्तावेज़ ऑब्जेक्ट मॉडल , सरल डायरेक्टमीडिया परत और ग्लॉस के लिए होस्ट के साथ हास्केल में कुशल पुश/पुल एफआरपी कार्यान्वयन है।
- प्रतिक्रियाशील-केला हास्केल में लक्ष्य-अज्ञेयवादी पुश एफआरपी कार्यान्वयन है।
- नेटवायर और वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें।
- फ्लैपजैक्स जावास्क्रिप्ट में व्यवहार/घटना एफआरपी कार्यान्वयन है।
- रि्ट कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग के लिए OCaml मॉड्यूल है।
- सोडियम पुश एफआरपी कार्यान्वयन है जो जावा, टाइपस्क्रिप्ट और सी# जैसी कई प्रोग्रामिंग भाषाओं के लिए विशिष्ट यूआई फ्रेमवर्क से स्वतंत्र है।
- डुनाई मोनाडिक स्ट्रीम फ़ंक्शंस का उपयोग करके हास्केल में तेज़ कार्यान्वयन है जो क्लासिक और एरोवाइज़्ड एफआरपी का समर्थन करता है।
- ऑब्जर्वेबलकंप्यूटेशंस, क्रॉस-प्लेटफ़ॉर्म .NET कार्यान्वयन।
- स्टेला अभिनेता-आधारित प्रतिक्रियाशील प्रोग्रामिंग भाषा है जो अभिनेताओं और रि्टरों के मॉडल को प्रदर्शित करती है जिसका उद्देश्य प्रतिक्रियाशील कोड के साथ अनिवार्य कोड के संयोजन के मुद्दों से बचना है (उन्हें अभिनेताओं और रि्टरों में अलग करके)।[16] अभिनेता वितरित प्रतिक्रियाशील प्रणालियों में उपयोग के लिए उपयुक्त हैं।[17]
- ज्वारीयचक्र संगीत पैटर्न के लिए शुद्ध एफआरपी डोमेन विशिष्ट भाषा है, जो हास्केल (प्रोग्रामिंग भाषा) प्रोग्रामिंग भाषा में एम्बेडेड है।
यह ध्यान देने योग्य है कि रि्टिव्स, अपने जावास्क्रिप्ट कार्यान्वयन आर्सजेएस द्वारा लोकप्रिय है, कार्यात्मक और प्रतिक्रियाशील है लेकिन कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग से अलग है।[18]
यह भी देखें
संदर्भ
- ↑ Elliott, Conal; Hudak, Paul. "कार्यात्मक प्रतिक्रियाशील एनिमेशन". कार्यात्मक प्रतिक्रियाशील एनिमेशन. ICFP ’97. Retrieved 14 July 2018.
- ↑ Nilsson, Henrik; Courtney, Antony; Peterson, John (Feb 2011) [2002], "Functional Reactive Programming, Continued", Haskell Workshop (PDF).
- ↑ Elliott, Conal; Hudak, Paul (1997), "Functional Reactive Animation", ICFP.
- ↑ Courtney, Antony; Elliott, Conal (Feb 2011) [2001], "Genuinely Functional User Interfaces", Haskell Workshop, Yale.
- ↑ Elliot, Conal (2014), "Denotational Design" (PDF), LambdaJam, retrieved 5 May 2023
- ↑ Taha, Walid; Wan, Zhanyong; Hudak, Paul (2002), "Event-Driven FRP", PADL (PDF), Yale, archived from the original (PDF) on 2013-09-28, retrieved 2013-09-23.
- ↑ Czaplicki, Evan; Chong, Stephen (2013), "Asynchronous Functional Reactive Programming for GUIs", PLDI, Harvard.
- ↑ Wan, Zhanyong; Taha, Walid; Hudak, Paul (Feb 2011), "Real-Time FRP", ICFP (PDF), archived from the original (PDF) on 2013-09-28, retrieved 2013-09-23.
- ↑ "Conal Elliott » Why classic FRP does not fit interactive behavior". December 9, 2008. Archived from the original on 2022-10-12.
- ↑ Borning, Alan. "I/O in Purely Functional Languages" (PDF). Archived (PDF) from the original on 2022-04-28.
- ↑ Carlsson, Magnus; Hallgren, Thomas (1998). "Fudgets – Purely Functional Processes with applications to Graphical User Interfaces" (PDF). Archived (PDF) from the original on 2022-10-15.
- ↑ Perez, Ivan; Barenz, Manuel; Nilsson, Henrik (July 2016), "Functional Reactive Programming, Refactored", Haskell Symposium (PDF).
- ↑ Atze van der Ploeg; Claessen, Koen. "व्यावहारिक सैद्धांतिक एफआरपी" (PDF). Archived from the original (PDF) on 2015-07-01. Retrieved 2015-07-24.
- ↑ Czaplicki, Evan (Apr 2012), Elm: Concurrent FRP for Functional GUIs (PDF) (thesis), Harvard, archived from the original (PDF) on 2016-06-04, retrieved 2015-02-17
{{citation}}
: CS1 maint: location missing publisher (link). - ↑ Czaplicki, Evan. "एफआरपी को विदाई". elm. Retrieved 14 July 2018.
- ↑ Van den Vonder, Sam; Renaux, Thierry; Oeyen, Bjarno; De Koster, Joeri; De Meuter, Wolfgang (2020), "Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model", Leibniz International Proceedings in Informatics (LIPIcs), vol. 166, pp. 19:1–19:29, doi:10.4230/LIPIcs.ECOOP.2020.19, ISBN 9783959771542.
- ↑ Van den Vonder, Sam; Renaux, Thierry; De Meuter, Wolfgang (2022), "Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks", The Art, Science, and Engineering of Programming, vol. 6:3, pp. 14:1–14:36, doi:10.22152/programming-journal.org/2022/6/14, S2CID 246979565
- ↑ "रिएक्टिवएक्स". ReactiveX.io. Retrieved July 3, 2022.