यह Idris-dev नाम का एक Linux ऐप है जिसका नवीनतम संस्करण Release1.3.3sourcecode.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ़्त होस्टिंग प्रदाता OnWorks पर ऑनलाइन चलाया जा सकता है।
OnWorks के साथ Idris-dev नामक इस ऐप को मुफ्त में डाउनलोड करें और ऑनलाइन चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट:
इदरीस-देव
विवरण:
इड्रिस-डेव, इड्रिस 1 का विकास संस्करण है, जो एक सामान्य-उद्देश्यीय कार्यात्मक प्रोग्रामिंग भाषा है जिसमें पूर्ण आश्रित प्रकार होते हैं, और जिसे भाषा के भीतर ही प्रकार-सुरक्षित प्रोग्राम और प्रूफ़ लिखने के लिए डिज़ाइन किया गया है। यह C और JavaScript (Node.js और ब्राउज़र के लिए) में संकलित होता है, और वैकल्पिक बैकएंड के माध्यम से कोड जनरेशन का समर्थन करता है।
विशेषताएं
- पूर्ण आश्रित प्रकार जो मानों को प्रकारों में प्रदर्शित होने की अनुमति देते हैं
- यह सुनिश्चित करने के लिए समग्रता जाँच कि कार्य पूर्ण और समाप्त हो रहे हैं
- C और JavaScript के लिए कोड जनरेटर (ब्राउज़र और Node.js)
- सामुदायिक योगदान के माध्यम से बाहरी बैकएंड (जैसे, JVM, CIL, LLVM) का समर्थन करता है
- एग्डा और कॉक जैसे प्रूफ असिस्टेंट से प्रेरित सशक्त प्रकार-संचालित विकास
- इदरीस 2 के विकास के समानांतर सक्रिय रूप से बनाए रखा गया
प्रोग्रामिंग भाषा
हास्केल
श्रेणियाँ
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/idris-dev.mirror/ से भी प्राप्त किया जा सकता है। इसे हमारे किसी भी निःशुल्क ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाने के लिए OnWorks में होस्ट किया गया है।