هذا تطبيق لينكس اسمه Agda، ويمكن تنزيل أحدث إصدار منه بصيغة Agda-v2.8.0-win64.zip. ويمكن تشغيله عبر الإنترنت من خلال موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Agda مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
لقطات الشاشة:
أجدا
الوصف:
Agda لغة برمجة وظيفية كلية، تعتمد على نوع تابع، ومثبت نظريات تفاعلي، وتعتمد على نظرية مارتن-لوف للأنواع. تتيح هذه اللغة التعبير عن البرامج والإثباتات باستخدام مراسلات كاري-هاورد. كما تتميز بتطوير تفاعلي عبر Emacs وAtom وVS Code.
شرح المميزات:
- لغة مكتوبة بشكل تابع تمكن من ترميز البراهين كأنواع
- التحقق من المجموع والإنهاء لضمان الاتساق
- تطوير الأدلة التفاعلية باستخدام المتغيرات الوصفية والتكامل مع Emacs/Vim/VS Code
- دعم Unicode والنحو الذي يذكرنا بـ Haskell
- مكتبة قياسية تحتوي على تعريفات لهياكل البيانات الأساسية والأدلة
- الواجهات الخلفية بما في ذلك MAlonzo (Haskell) وJavaScript لأهداف التجميع
لغة البرمجة
هاسكل
التصنيفات
هذا تطبيق يُمكن تنزيله أيضًا من https://sourceforge.net/projects/agda.mirror/. وقد استُضيف في OnWorks لتشغيله عبر الإنترنت بسهولة من أحد أنظمتنا التشغيلية المجانية.