कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 10: Line 10:
एफआरपी के प्रारम्भी सूत्रीकरण में निरंतर शब्दार्थ का उपयोग किया गया था, जिसका लक्ष्य कई परिचालन विवरणों का सार निकालना था जो किसी प्रोग्राम के अर्थ के लिए महत्वपूर्ण नहीं हैं।<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> इस फॉर्मूलेशन के प्रमुख गुण हैं:


* मॉडलिंग मूल्य जो निरंतर समय के साथ परिवर्तित होते रहते हैं, उन्हें व्यवहार एवं पश्चात के संकेत कहा जाता है।
* मॉडलिंग मूल्य जो निरंतर समय के साथ परिवर्तित होते रहते हैं, उन्हें बिहेवियर एवं पश्चात के संकेत कहा जाता है।
* [[ घटना (कंप्यूटिंग) |घटनाओं (कंप्यूटिंग) की मॉडलिंग]] जो समय में भिन्न-भिन्न बिंदुओं पर घटित होते हैं।
* [[ घटना (कंप्यूटिंग) |इवेंट (कंप्यूटिंग) की मॉडलिंग]] जो समय में भिन्न-भिन्न बिंदुओं पर घटित होते हैं।
* सिस्टम को घटनाओं की प्रतिक्रिया में परिवर्तित किया जा सकता है, जिसे सामान्यतः स्विचिंग कहा जाता है।
* सिस्टम को इवेंट की प्रतिक्रिया में परिवर्तित किया जा सकता है, जिसे सामान्यतः स्विचिंग कहा जाता है।
* प्रतिक्रियाशील मॉडल से नमूनाकरण दर जैसे मूल्यांकन विवरण को भिन्न करना है।
* प्रतिक्रियाशील मॉडल से सैंपलिंग दर जैसे मूल्यांकन विवरण को भिन्न करना है।


साइड-इफेक्ट मुक्त भाषाओं में एफआरपी का यह सिमेंटिक मॉडल सामान्यतः निरंतर कार्यों के संदर्भ में है, एवं समय के साथ है।<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>
Line 19: Line 19:
'''असतत'''
'''असतत'''


इवेंट-संचालित एफआरपी एवं 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>इन फॉर्मूलेशन में, यह सामान्य है कि व्यवहार एवं घटनाओं के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका सदैव वर्तमान मूल्य होता है, किन्तु वे भिन्न-भिन्न रूप से परिवर्तित होते हैं।<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>
इवेंट-संचालित एफआरपी एवं 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>इन फॉर्मूलेशन में, यह सामान्य है कि बिहेवियर एवं इवेंट के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका सदैव वर्तमान मूल्य होता है, किन्तु वे भिन्न-भिन्न रूप से परिवर्तित होते हैं।<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>


== इंटरैक्टिव एफआरपी ==
== इंटरैक्टिव एफआरपी ==
Line 25: Line 25:
*क्रियाओं की डेटा संरचना बनाएं जो आउटपुट के रूप में प्रदर्शित होते हैं। क्रियाएँ किसी बाहरी इंटरप्रेटर या परिवेश द्वारा चलायी जानी चाहिए। इसमें हास्केल की मूल स्ट्रीम इनपुट/आउटपुट सिस्टम की सभी कठिनाइयाँ विरासत में मिली हैं।<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://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> यह इवेंट एवं आईओ मोनैड के मध्य इंटरैक्शन का उपयोग करता है, एवं अधिक अभिव्यक्ति-उन्मुख 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> यह इवेंट एवं आईओ मोनैड के मध्य इंटरैक्शन का उपयोग करता है, एवं अधिक अभिव्यक्ति-उन्मुख FRP के साथ संगत है:
{{sxhl|2=elm|
{{sxhl|2=elm|
  planNow :: Event (IO a) -> IO (Event a)
  planNow :: Event (IO a) -> IO (Event a)
Line 32: Line 32:
== कार्यान्वयन विषय ==
== कार्यान्वयन विषय ==


एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित एवं पुल-आधारित। पुश-आधारित प्रणालियाँ घटनाएँ लेती हैं एवं परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से धकेलती हैं। पुल-आधारित प्रणालियाँ परिणाम की मांग होने तक प्रतीक्षा करती हैं, एवं मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर कार्य करती हैं।
एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित एवं पुल-आधारित हैं। पुश-आधारित सिस्टम घटनाएँ लेती हैं एवं परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से पुश करती हैं। पुल-आधारित सिस्टम परिणाम की मांग होने तक प्रतीक्षा करती हैं, एवं मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर कार्य करती हैं।


कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा नमूने खींचे जाते हैं। इस दृष्टिकोण में खामी है: नेटवर्क को इनपुट में परिवर्तन के विषय में ज्ञात करने के लिए गणना चरण की अवधि तक प्रतीक्षा करना पड़ता है। नमूनाकरण पुल-आधारित एफआरपी का उदाहरण है।
कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा प्रारूप का चित्रण किया जाते हैं। इस दृष्टिकोण में अभाव है कि नेटवर्क को इनपुट में परिवर्तन के विषय में ज्ञात करने के लिए गणना चरण की अवधि तक प्रतीक्षा करना पड़ता है। सैंपलिंग पुल-आधारित एफआरपी का उदाहरण है।


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


== कार्यान्वयन ==
== कार्यान्वयन ==
Line 44: Line 44:
* प्रतिक्रियाशील-केला हास्केल में  लक्ष्य-अज्ञेयवादी पुश एफआरपी कार्यान्वयन है।
* प्रतिक्रियाशील-केला हास्केल में  लक्ष्य-अज्ञेयवादी पुश एफआरपी कार्यान्वयन है।
* नेटवायर एवं वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें।
* नेटवायर एवं वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें।
* [[फ्लैपजैक्स]] [[जावास्क्रिप्ट]] में  व्यवहार/घटना एफआरपी कार्यान्वयन है।
* [[फ्लैपजैक्स]] [[जावास्क्रिप्ट]] में  बिहेवियर/घटना एफआरपी कार्यान्वयन है।
* रि्ट कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग के लिए  [[OCaml]] मॉड्यूल है।
* रि्ट कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग के लिए  [[OCaml]] मॉड्यूल है।
* सोडियम  पुश एफआरपी कार्यान्वयन है जो जावा, टाइपस्क्रिप्ट एवं सी# जैसी कई प्रोग्रामिंग भाषाओं के लिए  विशिष्ट यूआई फ्रेमवर्क से स्वतंत्र है।
* सोडियम  पुश एफआरपी कार्यान्वयन है जो जावा, टाइपस्क्रिप्ट एवं सी# जैसी कई प्रोग्रामिंग भाषाओं के लिए  विशिष्ट यूआई फ्रेमवर्क से स्वतंत्र है।

Revision as of 22:05, 5 August 2023

Not to be confused with factory reset protection (FRP), a feature in some android devices.
Programming paradigms

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

एफआरपी का सूत्रीकरण

कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग का मूल सूत्रीकरण कॉनल इलियट एवं पॉल हुडक द्वारा लिखित ICFP 97 पेपर कार्यात्मक प्रतिक्रियाशील एनीमेशन में प्राप्त किया जा सकता है।[1]1997 में अपनी प्रारम्भ के पश्चात से एफआरपी ने कई रूप ले लिए हैं। विविधता की धुरी असतत विरुद्ध निरंतर शब्दार्थ है। अन्य धुरी यह है कि एफआरपी सिस्टम को गतिशील रूप से कैसे परिवर्तित किया जा सकता है।[2]

निरंतर

एफआरपी के प्रारम्भी सूत्रीकरण में निरंतर शब्दार्थ का उपयोग किया गया था, जिसका लक्ष्य कई परिचालन विवरणों का सार निकालना था जो किसी प्रोग्राम के अर्थ के लिए महत्वपूर्ण नहीं हैं।[3] इस फॉर्मूलेशन के प्रमुख गुण हैं:

  • मॉडलिंग मूल्य जो निरंतर समय के साथ परिवर्तित होते रहते हैं, उन्हें बिहेवियर एवं पश्चात के संकेत कहा जाता है।
  • इवेंट (कंप्यूटिंग) की मॉडलिंग जो समय में भिन्न-भिन्न बिंदुओं पर घटित होते हैं।
  • सिस्टम को इवेंट की प्रतिक्रिया में परिवर्तित किया जा सकता है, जिसे सामान्यतः स्विचिंग कहा जाता है।
  • प्रतिक्रियाशील मॉडल से सैंपलिंग दर जैसे मूल्यांकन विवरण को भिन्न करना है।

साइड-इफेक्ट मुक्त भाषाओं में एफआरपी का यह सिमेंटिक मॉडल सामान्यतः निरंतर कार्यों के संदर्भ में है, एवं समय के साथ है।[4] इस फॉर्मूलेशन को डिनोटेटिव कंटीन्यूअस टाइम प्रोग्रामिंग (DCTP) भी कहा जाता है।[5]

असतत

इवेंट-संचालित एफआरपी एवं 0.17 से पहले एल्म (प्रोग्रामिंग भाषा) के संस्करणों जैसे फॉर्मूलेशन के लिए आवश्यक है कि अपडेट भिन्न-भिन्न एवं इवेंट-संचालित हों।[6] इन फॉर्मूलेशनों ने व्यावहारिक एफआरपी पर जोर दिया है, जिसमें शब्दार्थ पर ध्यान केंद्रित किया गया है जिसमें सरल एपीआई है जिसे रोबोटिक्स या वेब-ब्राउज़र जैसी सेटिंग में कुशलतापूर्वक प्रस्तावित किया जा सकता है।[7]इन फॉर्मूलेशन में, यह सामान्य है कि बिहेवियर एवं इवेंट के विचारों को ऐसे संकेतों में संयोजित किया जाता है जिनका सदैव वर्तमान मूल्य होता है, किन्तु वे भिन्न-भिन्न रूप से परिवर्तित होते हैं।[8]

इंटरैक्टिव एफआरपी

यह बताया गया है कि सामान्य एफआरपी मॉडल, इनपुट से आउटपुट तक, इंटरैक्टिव प्रोग्रामों के लिए त्रुटिपूर्ण रूप से अनुकूल है।[9] इनपुट से आउटपुट तक मैपिंग के अन्दर प्रोग्राम चलाने की क्षमता में अभाव का तात्पर्य निम्नलिखित समाधानों में से एक का उपयोग करना हो सकता है:

  • क्रियाओं की डेटा संरचना बनाएं जो आउटपुट के रूप में प्रदर्शित होते हैं। क्रियाएँ किसी बाहरी इंटरप्रेटर या परिवेश द्वारा चलायी जानी चाहिए। इसमें हास्केल की मूल स्ट्रीम इनपुट/आउटपुट सिस्टम की सभी कठिनाइयाँ विरासत में मिली हैं।[10]
  • एरोइज्ड एफआरपी एवं एम्बेड एरो का उपयोग करें जो कार्य करने में सक्षम हैं। क्रियाओं में पहचान भी हो सकती है, जो उन्हें उदाहरण के लिए भिन्न-भिन्न परिवर्तनशील स्टोर बनाए रखने की अनुमति देती है। यह फ़जेट्स लाइब्रेरी एवं मोनाडिक स्ट्रीम फ़ंक्शंसद्वारा अपनाया गया दृष्टिकोण है।[11][12]
  • नवीन दृष्टिकोण यह है कि कार्यों को अभी (आईओ मोनड में) चलाने की अनुमति दी जाए किन्तु उनके परिणामों की प्राप्ति को पश्चात तक के लिए अस्वीकृत कर दिया जाए।[13] यह इवेंट एवं आईओ मोनैड के मध्य इंटरैक्शन का उपयोग करता है, एवं अधिक अभिव्यक्ति-उन्मुख FRP के साथ संगत है:
 planNow :: Event (IO a) -> IO (Event a)

कार्यान्वयन विषय

एफआरपी सिस्टम दो प्रकार के होते हैं, पुश-आधारित एवं पुल-आधारित हैं। पुश-आधारित सिस्टम घटनाएँ लेती हैं एवं परिणाम प्राप्त करने के लिए उन्हें सिग्नल नेटवर्क के माध्यम से पुश करती हैं। पुल-आधारित सिस्टम परिणाम की मांग होने तक प्रतीक्षा करती हैं, एवं मांगे गए मूल्य को पुनः प्राप्त करने के लिए नेटवर्क के माध्यम से पीछे की ओर कार्य करती हैं।

कुछ एफआरपी सिस्टम जैसे कि याम्पा सैंपलिंग का उपयोग करते हैं, जहां सिग्नल नेटवर्क द्वारा प्रारूप का चित्रण किया जाते हैं। इस दृष्टिकोण में अभाव है कि नेटवर्क को इनपुट में परिवर्तन के विषय में ज्ञात करने के लिए गणना चरण की अवधि तक प्रतीक्षा करना पड़ता है। सैंपलिंग पुल-आधारित एफआरपी का उदाहरण है।

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

कार्यान्वयन

  • याम्पा एसडीएल, एसडीएल2, ओपनजीएल एवं एचटीएमएल डोम समर्थन के साथ तीरांकित, कुशल, शुद्ध हास्केल (प्रोग्रामिंग भाषा) कार्यान्वयन है।
  • प्रोग्रामिंग भाषा एल्म (प्रोग्रामिंग भाषा) का उपयोग एफआरपी का समर्थन करने के लिए किया जाता है [14] किन्तु तब से इसे भिन्न पैटर्न से बदल दिया गया है।[15]
  • रिफ्लेक्स वेब ब्राउज़र/दस्तावेज़ ऑब्जेक्ट मॉडल , सरल डायरेक्टमीडिया परत एवं ग्लॉस के लिए होस्ट के साथ हास्केल में कुशल पुश/पुल एफआरपी कार्यान्वयन है।
  • प्रतिक्रियाशील-केला हास्केल में लक्ष्य-अज्ञेयवादी पुश एफआरपी कार्यान्वयन है।
  • नेटवायर एवं वैरिंजिंग को तीरांकित किया गया है, हास्केल में एफआरपी कार्यान्वयन को खींचें।
  • फ्लैपजैक्स जावास्क्रिप्ट में बिहेवियर/घटना एफआरपी कार्यान्वयन है।
  • रि्ट कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग के लिए OCaml मॉड्यूल है।
  • सोडियम पुश एफआरपी कार्यान्वयन है जो जावा, टाइपस्क्रिप्ट एवं सी# जैसी कई प्रोग्रामिंग भाषाओं के लिए विशिष्ट यूआई फ्रेमवर्क से स्वतंत्र है।
  • डुनाई मोनाडिक स्ट्रीम फ़ंक्शंस का उपयोग करके हास्केल में तेज़ कार्यान्वयन है जो क्लासिक एवं एरोवाइज़्ड एफआरपी का समर्थन करता है।
  • ऑब्जर्वेबलकंप्यूटेशंस, क्रॉस-प्लेटफ़ॉर्म .NET कार्यान्वयन।
  • स्टेला अभिनेता-आधारित प्रतिक्रियाशील प्रोग्रामिंग भाषा है जो अभिनेताओं एवं रि्टरों के मॉडल को प्रदर्शित करती है जिसका उद्देश्य प्रतिक्रियाशील कोड के साथ अनिवार्य कोड के संयोजन के मुद्दों से बचना है (उन्हें अभिनेताओं एवं रि्टरों में भिन्न करके)।[16] अभिनेता वितरित प्रतिक्रियाशील प्रणालियों में उपयोग के लिए उपयुक्त हैं।[17]
  • ज्वारीयचक्र संगीत पैटर्न के लिए शुद्ध एफआरपी डोमेन विशिष्ट भाषा है, जो हास्केल (प्रोग्रामिंग भाषा) प्रोग्रामिंग भाषा में एम्बेडेड है।

यह ध्यान देने योग्य है कि रि्टिव्स, अपने जावास्क्रिप्ट कार्यान्वयन आर्सजेएस द्वारा लोकप्रिय है, कार्यात्मक एवं प्रतिक्रियाशील है किन्तु कार्यात्मक प्रतिक्रियाशील प्रोग्रामिंग से भिन्न है।[18]

यह भी देखें

संदर्भ

  1. ↑ Elliott, Conal; Hudak, Paul. "कार्यात्मक प्रतिक्रियाशील एनिमेशन". कार्यात्मक प्रतिक्रियाशील एनिमेशन. ICFP ’97. Retrieved 14 July 2018.
  2. ↑ Nilsson, Henrik; Courtney, Antony; Peterson, John (Feb 2011) [2002], "Functional Reactive Programming, Continued", Haskell Workshop (PDF).
  3. ↑ Elliott, Conal; Hudak, Paul (1997), "Functional Reactive Animation", ICFP.
  4. ↑ Courtney, Antony; Elliott, Conal (Feb 2011) [2001], "Genuinely Functional User Interfaces", Haskell Workshop, Yale.
  5. ↑ Elliot, Conal (2014), "Denotational Design" (PDF), LambdaJam, retrieved 5 May 2023
  6. ↑ 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.
  7. ↑ Czaplicki, Evan; Chong, Stephen (2013), "Asynchronous Functional Reactive Programming for GUIs", PLDI, Harvard.
  8. ↑ 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.
  9. ↑ "Conal Elliott » Why classic FRP does not fit interactive behavior". December 9, 2008. Archived from the original on 2022-10-12.
  10. ↑ Borning, Alan. "I/O in Purely Functional Languages" (PDF). Archived (PDF) from the original on 2022-04-28.
  11. ↑ 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.
  12. ↑ Perez, Ivan; Barenz, Manuel; Nilsson, Henrik (July 2016), "Functional Reactive Programming, Refactored", Haskell Symposium (PDF).
  13. ↑ Atze van der Ploeg; Claessen, Koen. "व्यावहारिक सैद्धांतिक एफआरपी" (PDF). Archived from the original (PDF) on 2015-07-01. Retrieved 2015-07-24.
  14. ↑ 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).
  15. ↑ Czaplicki, Evan. "एफआरपी को विदाई". elm. Retrieved 14 July 2018.
  16. ↑ 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.
  17. ↑ 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
  18. ↑ "रिएक्टिवएक्स". ReactiveX.io. Retrieved July 3, 2022.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=कार्यात्मक_प्रतिक्रियाशील_प्रोग्रामिंग&oldid=256235’