Mercury

צילום מסך תוכנה:
Mercury
פרטי תוכנה:
גרסה: 13.05.1
טען תאריך: 15 Apr 15
מפתחים: Mercury Developers
רשיון: ללא תשלום
פופולריות: 59

Rating: 2.0/5 (Total Votes: 2)

שפות תכנות Logic בסביבה כבר יותר מעשרים שנה. למרות היתרונות הצפויים של שפת תכנות ברמה גבוהה מאוד המבוססת על תאוריות שפותחו גם היגיון על פני שפות תכנות קונבנציונליות (כגון C, C ++, פסקל ועדה) לא היה להם השפעה משמעותית על תעשיית המחשבים.
מרקורי היא היגיון / שפה חדשה פונקציונלית תכנות, המשלבת את הבהירות והבעה של תכנות הצהרתי עם תכונות ניתוח וזיהוי שגיאות סטטי מתקדמות.
מרקורי הוא מותאם במיוחד אלגוריתם ביצוע מספק יעילות גבוהה בהרבה ממערכות תכנות היגיון קיימות, וקרוב למערכות תכנות קונבנציונליות.
מרקורי מטפל בבעיות של פיתוח תכנית בקנה מידה גדולה, המודולריות מאפשרת, אוסף נפרד, ופשרות רבות אופטימיזציה / שעה

מה חדש במהדורה זו:.

<>
  • תיקוני שחרור תיקון באג זה לבנות בעיות ב- Solaris וNetBSD ומוסיף תמיכה לבחירת C # מהדר בזמן תצורה.
  • באגים קטנים אחרים שונים תוקנו.
  • יש גם כמה תוספות קטנות לספרייה סטנדרטית.

מה חדש בגרסה 13.05:

    • הדור של הרצה של 64 סיביות ב- Windows נתמכת כעת.
    • פעמים Compilation לתוכניות גדולות מאוד שופרו.
    • כמה אופטימיזציות ייצוג הסוג חדשות נוספו.
    • הבאגים עכשיו יש תמיכה טובה יותר לטיפול בקליקות של שיחות הדדיות רקורסיבית על הערימה.
    • מחייב לספריית GLFW נוסף להפצת תוספות.

    • כעת ניתן חתמו
    • מכללי שנוצרו עם C # backend עם שם חזק.

    מה חדש בגרסה 11.01:

    • יש לנו הוספתי שני סוגים חדשים של היקפים לשפה.
    • היקף הוצג על ידי אחת ממילות המפתח החדשות require_det, require_semidet, require_multi, require_nondet, require_cc_multi, require_cc_nondet, require_erroneous וrequire_failure, כפי שרומז השם, דורש המטרה בתוך ההיקף ליש דטרמיניזם נתון.
    • היקף הוצג על ידי require_complete_switch מילת המפתח דורש מטרה בתוך ההיקף, אם זה מתג על משתנה בשם על ידי ההיקף, להיות מתג מלא, כלומר יש נשק לכל סמלי הפונקציה בסוג של עבר על משתנה.
    • יש לנו הוספנו מצבי semidet לhash_table.fold / 4 וversion_hash_table.fold / 4.
    • יש לנו הוספנו פרדיקטים ופונקציות חדשים למודול assoc_list. פרדיקטים map_keys_only / 3 map_values_only / 3 וmap_values ​​/ 3 השלמה הפונקציות באותו השם. פרדיקטים לסנן / 3, negated_filter / 3, לסנן / 4, למזג / 3, שגם יש לי גרסאות פונקציה, לעשות את העבודה דומה מאוד לפרדיקטים באותו השם במודול הרשימה, אבל לעשות פעולות הרלוונטיות על מקשים במקום כל אלמנטי רשימה.
    • יש לנו עברנו את מודול ההערכה העצלן מתוך חלוקת תוספות ולתוך מודול ספרייה סטנדרטי חדש בשם 'עצלן'. כמו כן, נעשה backend-אגנוסטי.
    • יש לנו ביצעתי שינויים במודול הרשימה של הספרייה סטנדרטית:
    • הוספנו list.member_index0 נשוא חדש / 3. זה כמו list.member / 2 חוץ מזה זה גם לוקח פרמטר המייצג את המדד של האלמנט בתוך הרשימה מבוססת אפס.
    • הוספנו list.map3_foldl חדש נשוא / 7 הממפה על רשימת ההפקה שלוש רשימות וערך מקופל אחד.
    • הוספנו מצבי semidet עם מצברים ייחודיים לlist.foldl3 / 8, list.foldl4 / 10, list.foldl5 / 12, וlist.foldl6 / 14.
    • הוספנו את פרדיקטים לחלק / 4 וdivide_by_set / 4 למודול tree_bitset של הספרייה סטנדרטית.
    • הוספנו את פרדיקטים set_ctree234.member / 2 וset_ctree234.non_empty / 1. אנחנו צריכים להוסיף את set_ctree234.from_list הפונקציה / 1.
    • הוספנו את set_bbbtree.count הנשוא / 2 וset_bbbtree.count הפונקציה / 1. אלה מחליפות את הנשוא set_bbbtree.size / 2 אשר מקום התופסת היום.
    • יש לנו הוספתי.
    • set_ordlist.non_empty נשוא / 1
    • הוספנו את set_tree234.non_empty הנשוא / 1 וset_tree234.from_list הפונקציה / 1.
    • הוספנו את set_unordlist.non_empty פרדיקטים / 1 וset_unordlist.count / 2, ו.
    • set_unordlist.count פונקציה / 1
    • כל המודולים בספרייה סטנדרטית המיישמים את ADT הסט, (סט, set_ordlist, set_unordlist, set_bbbtree, set_tree234, וset_ctree234), תומך כעת במתקפל על קבוצות עם עד שישה מצברים. מצבים המספקים מצברים ייחודיים ובעיקר ייחודיים לקיפול סט נוספו גם.
    • יש לנו עשינו את השינויים במודול המערך של הספרייה סטנדרטית הבאים:
    • הוספנו את הפונקציות unsafe_elem / 2 ולצרף את / 2.
    • הוספנו את פרדיקטים svset / 4, unsafe_svset / 4, foldl2 / 4, foldl2 / 6, foldr / 4, / 2.
    • / 5 foldr2 / 6 חבר map_corresponding_foldl / 6, ו, map_foldl,
    • הוספנו את פרדיקטים version_array.foldl2 / 6, version_array.foldr / 4, וversion_array.foldr2 / 6 לספרייה סטנדרטית.
    • יש לנו הוספנו מצבי semidet עם מצברים ייחודיים ובעיקר ייחודיים לפרדיקטים הבאים:
    • bimap.foldl2 / 6
    • bimap.foldl3 / 8
    • cord.foldl_pred / 4
    • cord.map_foldl / 5
    • list.map_corresponding_foldl2 / 8
    • list.map_corresponding_foldl3 / 10
    • list.map_corresponding3_foldl / 7
    • map.foldl3 / 8
    • הוספנו את נשוא unsorted_aggregate2 / 6 למודול הפתרונות של הספרייה סטנדרטית.
    • יש לנו הוספתי כמה פרדיקטים ופונקציות למודול דורש מהספרייה סטנדרטית. פרדיקטים מצטערים / 2 ומצטער / 3 דו"ח היעדר תכונה, ואילו פרדיקטים בלתי צפויים / 2 ולא צפויים / 3 דו"ח שגיאה פנימית בתכנית; לכולם יש גרסאות פונקציה מדי. הנשוא מצפה / 3 שיחות בלתי צפויות אם מצב הוא לא מרוצה. עכשיו יש לנו לצפות / 4, כמו גם לצפות / 3. למצפה / 4, כמו גם לצפות / 3, הטיעונים הראשונים והאחרונים הם המצב הצפוי והודעת שגיאת בהתאמה, אבל עם לצפות / 4, יש שני נימוקים באמצע כדי לציין את המיקום של השגיאה (בדרך כלל שם של מודול ושל נשוא בהתאמה). כמו כן הוספנו expect_not / 3 וexpect_not / 4, שהם כמו לצפות / 3 ומצפים / 4 בהתאמה, אלא שהם מצפים להיות המצב * שקר *, לא נכון
    • .

    מה חדש ב10.04.2 גרסה:

    • גרסה זו היא שחרור תיקוני באגים. מספר בעיות שגרמו למהדר להפיל תוקנו, כמה פעולות RTTI שבורות בכיתה ג 'אווה תוקנו, ויש לנו הוסיפו לעקיפת בעיה עבור בעיה עם גרסת GCC 4.4.

    מגבלות :

    • היישום הנוכחי עדיין אינו מיישם את שפת מרקורי לחלוטין. המגבלות העיקריות של היישום הנוכחי הבאות:
    • אנחנו לא נאפשר aliasing מוגדר במערכת במצב. בלי זה, מצבי מופעים באופן חלקי הם לא שמיש, ולכן הם מקוננים מצבים ייחודיים.
    • מהדר עדיין לא להשתמש שימוש חוזר במבנה או לקמפל-זמן איסוף אשפה לנצל מצבים ייחודיים.
    • סוג והסקת מצב הם קצת לא מושלמים.

    • בנוסף, החלטות עיצוב בimplemenation זה הטילו המגבלות הבאות:
    • פרדיקטים ופונקציות יכולים להיות לכל היותר כ -1000 טיעונים.

    • מונחים
    • -סדר גבוה יותר יכולים להיות לכל היותר כ -500 טיעונים.

  • תוכנה דומה

    GNU Cobol
    GNU Cobol

    17 Feb 15

    Rails
    Rails

    17 Feb 15

    Polygen
    Polygen

    3 Jun 15

    Jess
    Jess

    3 Jun 15

    תגובות ל Mercury

    תגובות לא נמצא
    להוסיף הערה
    הפעל את התמונות!