זוהי אפליקציית Windows בשם Idris 2 שניתן להוריד את המהדורה האחרונה שלה בתור Version0.6.0.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Idris 2 עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.
- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה והתקן אותה.
- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.
Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.
בצילומי מסך
Ad
אידריס 2
תיאור
בפיתוח מונע טיפוסים, טיפוסים הם כלים לבניית תוכניות. אנו מתייחסים לטיפוס כתוכנית לתוכנית, ומשתמשים במהדר ובבודק הטיפוסים כעוזר שלנו, ומנחים אותנו לתוכנית שלמה שעונה על הסוג. ככל שהסוג יותר אקספרסיבי שאנו מוותרים עליו, כך נוכל להיות בטוחים יותר שהתוכנית שתתקבל תהיה נכונה. באידריס, טיפוסים הם מבנים מהשורה הראשונה בשפה. המשמעות היא שניתן להעביר טיפוסים כארגומנטים לפונקציות, ולהחזיר אותם מפונקציות בדיוק כמו כל ערך אחר, כגון מספרים, מחרוזות או רשימות. זהו רעיון קטן אך רב עוצמה, המאפשר ביטוי ליחסים בין ערכים; למשל, ששתי רשימות בעלות אותו אורך. הנחות שיש להבהיר ולבדוק על ידי המהדר. לדוגמה, אם אתה מניח שרשימה אינה ריקה, אידריס יכולה להבטיח שההנחה הזו תמיד מתקיימת לפני הפעלת התוכנית.
תכונות
- אם תרצה, יש להצהיר ולהוכיח מאפיינים של התנהגות תוכנית באופן רשמי
- טיפוסים הם מבנים מהשורה הראשונה בשפה
- Idris היא שפת תכנות שנועדה לעודד פיתוח מונחה סוגים
- אנו מתייחסים לסוג כתוכנית לתוכנית
- השתמש במהדר ובבודק הקלדה בתור עוזר
- ניתן להעביר טיפוסים כארגומנטים לפונקציות
שפת תכנות
C
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/idris-2.mirror/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.