זוהי אפליקציית לינוקס בשם Fantasy Land Specification שניתן להוריד את המהדורה האחרונה שלה בתור Version5.0.1.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Fantasy Land Specification עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
מפרט ארץ פנטזיה
תיאור
פרויקט זה מפרט יכולת פעולה הדדית של מבנים אלגבריים נפוצים כמו Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative וכו'. אלגברה היא קבוצה של ערכים, קבוצה של אופרטורים שהיא סגור תחת חוקים מסוימים שעליו לציית. כל אלגברה של Fantasy Land היא מפרט נפרד. לאלגברה עשויה להיות תלות באלגברות אחרות שיש ליישם. "ערך" הוא כל ערך JavaScript, כולל כל ערך בעל המבנים המוגדרים להלן. "שווה ערך" היא הגדרה הולמת של שקילות עבור הערך הנתון. ההגדרה צריכה להבטיח שניתן להחליף בבטחה את שני הערכים בתוכנית שמכבדת הפשטות. לדוגמה, שתי רשימות שוות אם הן שוות ערך בכל המדדים, שני אובייקטי JavaScript ישנים רגילים, המתפרשים כמילונים, שווים כאשר הם שוות ערך עבור כל המפתחות, שתי הבטחות שוות כאשר הם מניבים ערכים שווים וכו'.
תכונות
- כל אלגברה של Fantasy Land היא מפרט נפרד
- התנהגויות מסוימות מוגדרות מנקודת המבט של חבר מסוג
- התנהגויות אחרות אינן מצריכות חבר
- אלגברות מסוימות דורשות טיפוס כדי לספק נציג ברמת הערך
- אם סוג נתונים מספק שיטה שניתן לגזור, ההתנהגות שלו חייבת להיות שווה לזו של הגזירה
- מומלץ לזרוק חריג על התנהגות לא מוגדרת
שפת תכנות
JavaScript
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/fantasy-land-spec.mirror/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
