यह Idris 2 नाम का Linux ऐप है जिसकी नवीनतम रिलीज़ को Version0.6.0.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
Idris 2 नाम के इस ऐप को OnWorks के साथ मुफ्त में डाउनलोड करें और ऑनलाइन चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
इदरीस 2
वर्णन
टाइप-संचालित विकास में, प्रोग्राम बनाने के लिए टाइप उपकरण होते हैं। हम टाइप को एक प्रोग्राम की योजना के रूप में मानते हैं, और हमारे सहायक के रूप में कंपाइलर और टाइप चेकर का उपयोग करते हैं, हमें एक पूर्ण प्रोग्राम के लिए मार्गदर्शन करते हैं जो टाइप को संतुष्ट करता है। जितना अधिक अभिव्यंजक प्रकार यह है कि हम सामने छोड़ देते हैं, उतना ही अधिक विश्वास हो सकता है कि परिणामी कार्यक्रम सही होगा। इदरीस में, प्रकार भाषा में प्रथम श्रेणी के निर्माण हैं। इसका मतलब यह है कि प्रकारों को कार्यों के लिए तर्क के रूप में पारित किया जा सकता है, और किसी भी अन्य मूल्य, जैसे संख्या, तार या सूचियों की तरह ही कार्यों से लौटाया जा सकता है। यह एक छोटा लेकिन शक्तिशाली विचार है, जो मूल्यों के बीच संबंधों को अभिव्यक्त करने में सक्षम बनाता है; उदाहरण के लिए, कि दो सूचियों की लंबाई समान है। संकलक द्वारा स्पष्ट और जाँच की जाने वाली धारणाएँ। उदाहरण के लिए, यदि आप मानते हैं कि सूची खाली नहीं है, तो इदरीस यह सुनिश्चित कर सकता है कि कार्यक्रम चलाने से पहले यह धारणा हमेशा बनी रहे।
विशेषताएं
- यदि वांछित हो, तो प्रोग्राम व्यवहार के गुणों को औपचारिक रूप से बताया और सिद्ध किया जाना चाहिए
- प्रकार भाषा में प्रथम श्रेणी के निर्माण हैं
- इदरीस एक प्रोग्रामिंग लैंग्वेज है जिसे टाइप-ड्रिवेन डेवलपमेंट को प्रोत्साहित करने के लिए डिज़ाइन किया गया है
- हम प्रकार को एक कार्यक्रम की योजना के रूप में मानते हैं
- सहायक के रूप में कंपाइलर और टाइप चेकर का उपयोग करें
- प्रकारों को कार्यों के तर्क के रूप में पारित किया जा सकता है
प्रोग्रामिंग भाषा
C
श्रेणियाँ
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/idris-2.mirror/ से भी प्राप्त किया जा सकता है। इसे हमारे निःशुल्क ऑपरेटिव सिस्टम में से किसी एक से आसान तरीके से ऑनलाइन चलाने के लिए ऑनवर्क्स में होस्ट किया गया है।