هذا هو تطبيق Linux المسمى Idris 2 والذي يمكن تنزيل أحدث إصدار له باسم Version0.6.0.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Idris 2 عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
إدريس 2
الوصف
في التطوير المستند إلى النوع ، تعد الأنواع أدوات لإنشاء البرامج. نتعامل مع النوع كخطة لبرنامج ما ، ونستخدم المترجم ومدقق النوع كمساعدنا ، ويوجهنا إلى برنامج كامل يلبي النوع. كلما كان النوع أكثر تعبيرًا هو أننا نتخلى عن الأمر ، زادت الثقة في أن البرنامج الناتج سيكون صحيحًا. في إدريس ، الأنواع هي تراكيب من الدرجة الأولى في اللغة. هذا يعني أنه يمكن تمرير الأنواع كوسائط للدوال وإعادتها من الدوال تمامًا مثل أي قيمة أخرى ، مثل الأرقام أو السلاسل أو القوائم. هذه فكرة صغيرة لكنها قوية ، تمكن من التعبير عن العلاقات بين القيم ؛ على سبيل المثال ، أن القائمتين لها نفس الطول. الافتراضات التي يجب أن تكون صريحة ومدققة من قبل المترجم. على سبيل المثال ، إذا افترضت أن القائمة ليست فارغة ، فيمكن لإدريس التأكد من بقاء هذا الافتراض دائمًا قبل تشغيل البرنامج.
المميزات
- إذا رغبت في ذلك ، يجب ذكر خصائص سلوك البرنامج وإثباتها رسميًا
- الأنواع هي تركيبات من الدرجة الأولى في اللغة
- إدريس هي لغة برمجة مصممة لتشجيع التنمية المدفوعة بالنوع
- نتعامل مع النوع كخطة لبرنامج
- استخدم المترجم واكتب المدقق كمساعد
- يمكن تمرير الأنواع كوسائط للدوال
لغة البرمجة
C
الفئات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/idris-2.mirror/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.