זוהי אפליקציית לינוקס בשם Idris-dev, אשר את הגרסה האחרונה שלה ניתן להוריד כ-Release1.3.3sourcecode.tar.gz. ניתן להריץ אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל אונליין את האפליקציה הזו בשם Idris-dev עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
צילומי מסך:
אידריס-דב
תיאור:
Idris‑dev היא גרסת הפיתוח של Idris 1, שפת תכנות פונקציונלית כללית הכוללת טיפוסים תלויים לחלוטין, שנועדה לכתיבת תוכניות והוכחות בטוחות לסוגים בתוך השפה עצמה. היא מתקמפלת ל-C ול-JavaScript (עבור Node.js ודפדפנים), ותומכת ביצירת קוד באמצעות שרתים אחוריים חלופיים.
תכונות
- טיפוסים תלויים לחלוטין המאפשרים ערכים להופיע בטיפוסים
- בדיקת טוטאליות כדי לוודא שהפונקציות הושלמו ומסתיימות
- מחוללי קוד עבור C ו-JavaScript (דפדפן ו-Node.js)
- תמיכה במערכות חיצוניות (למשל, JVM, CIL, LLVM) באמצעות תרומות מהקהילה
- פיתוח חזק מונחה טיפוסים בהשראת עוזרי הוכחה כמו אגדה וקוק
- מתוחזק באופן פעיל במקביל לפיתוח אידריס 2
שפת תכנות
האסל
כל הקטגוריות
זוהי אפליקציה שניתן להוריד גם מאתר https://sourceforge.net/projects/idris-dev.mirror/. היא אוחסנה ב-OnWorks על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.