שחרור שפת התכנות Haxe 4.0

זמין שחרור ערכת כלים האקס 4.0, הכוללת את שפת התכנות ברמה הגבוהה מרובת פרדיגמות באותו שם עם הקלדה חזקה, מהדר צולב וספריית פונקציות סטנדרטית. הפרויקט תומך בתרגום ל-C++, HashLink/C, JavaScript, C#, Java, PHP, Python ו-Lua, כמו גם קומפילציה ל-JVM, HashLink/JIT, Flash ו-Neko bytecode, עם גישה ליכולות המקוריות של כל פלטפורמת יעד. קוד מהדר מופץ על ידי תחת רישיון GPLv2, וספרייה סטנדרטית ומכונה וירטואלית שפותחו עבור Haxe נקו תחת רישיון MIT.

השפה היא מכוון הבעה עם הקלדה חזקה. מושגי תכנות מונחה עצמים, גנריים ופונקציונליים נתמכים.
תחביר Haxe קרוב ל-ECMAScript ו מתרחב התכונות שלו כגון הקלדה סטטית, מסקנות אוטומטיות, התאמת דפוסים, גנריות, מבוססי איטרטור ללולאות, פקודות מאקרו AST, GADT (סוגי נתונים כלליים אלגבריים), טיפוסים מופשטים, מבנים אנונימיים, הגדרות מערך מפושטות, ביטויי קומפילציה מותנה, צירוף מטא נתונים לשדות , מחלקות וביטויים, אינטרפולציה של מחרוזות ('שם שלי הוא $name'), פרמטרי סוג ("מחרוזת ראשית חדש('foo')"), וכן הרבה יותר.

מבחן בכיתה {
פונקציה סטטית main() {
var people = [
"Elizabeth" => "תכנות",
"ג'ואל" => "עיצוב"
];

for (שם ב-people.keys()) {
var job = אנשים[שם];
trace('$name עושה $עבודה למחייתו!');
}
}
}

העיקרי חידושים גרסה 4.0:

• תחביר חדש לציון סוג הפונקציה "(name:String, age:Int)->Bool" או "(String, Int)->Bool" במקום "String->Int->Bool".
• תחביר פונקציית החץ הוא "(a, b) -> a + b" במקום "function(a, b) return a + b".
• הגנה מפני בעיות הקשורות לשימוש בערכי Null (תכונה נסיונית, מופעלת באופן אופציונלי עבור שדות, מחלקות או חבילות מסוימות).
• מילת המפתח "סופית" מיועדת לשדות מחלקה ומשתנים מקומיים שאינם ניתנים לשינוי. ניתן להשתמש ב-"final" גם כדי להגדיר פונקציות כדי למנוע מהן לעבור בירושה ולמחלקות/ממשקים שלא ניתן להורשת.
• תמיכה תקן Unicode לסוג הבסיס "מחרוזת" בכל יעדי ההידור מלבד Neko.
• מתורגמן מובנה שנכתב מחדש מאפס, שמגיע כעת תחת השם הערכה. הודות למתורגמן החדש, סקריפטים ופקודות מאקרו פועלות הרבה יותר מהר. מצב ניפוי באגים אינטראקטיבי נתמך.
• מערכת יעד חדשה להידור (מטרה) האשלינק - זמן ריצה בעל ביצועים גבוהים שתוכנן במיוחד עבור Haxe, התומך בהידור ל-bytecode עבור JIT או C, בעל אינטגרציה קלה עם C, כמו גם גישה לסוגים ומצביעים מספריים ברמה נמוכה.
• יעד JVM חדש - מאפשר ליצור jvm bytecode על ידי דילוג על שלב הידור קוד Java על ידי הוספת דגל "-D jvm" בעת מיקוד ב-Java.
• היכולת לפרוס בתוך שורה בנקודת קריאה לפונקציות או בנאים, גם אם הם לא מוכרזים ככאלה.
• אפשרות הכללה הרחבות סטטיות כאשר מכריזים על סוג (כגון "enum") באמצעות "@:using(path.ToExtension)".
• סוגים מופשטים תומכים כעת בגרסת "סט" של האופרטור "@:op(a.b)" לטעינה מחדש של ביטויי "obj.foo = bar".
• תחביר הלולאה "for" תומך כעת באיטרציה של מפתח-ערך: "for (key => value in collection) {}".
• תמיכה בשימוש בסימון דמוי xml בביטויים: "var a = ‹hi/›;". לעת עתה, תכונה זו זמינה רק לניתוח עם פקודות מאקרו והיא בשלב התכנון.
• התחביר עבור שדות אופציונליים בסימון "מלא" של סוגי מבנה אנונימיים הוא: "{ var ?f:Int; }" (חלופה לקצר "{ ?f:Int }").
• ערכי Enum יכולים כעת להיות ערכי ברירת מחדל עבור ארגומנטים של פונקציה: "פונקציה foo‹T›(Option:Option‹T› = None)".
• התחביר "שם אבסטרקטי של enum(BasicType) {}" אינו דורש עוד את הקידומת "@:" ב-"enum".
• מספור אוטומטי עבור ספירות מופשטות:

  enum abstract Foo(Int) {
  var A; // 0
  var B; // 1
  }
  enum abstract Bar(String) {
  var A; // "א"
  var B; // "B"
  }

• מילת המפתח "חיצונית" אינה דורשת עוד שימוש בקידומת "@:".
• הסרה את האפשרות "מיישמים דינמי" לגישה לשדות מחלקה באמצעות מחרוזות. זמין עבור שיעורים חיצוניים או באמצעות יישום על ידי סוג מופשט.
• נוסף תחביר "A & B" עבור צומת סוג, שחל כרגע רק על מבנים אנונימיים ומגבלות פרמטרים של סוג. תחביר האילוץ הישן הוסר.
• יצירת מופעי "מפה" ריקים זמינה באמצעות התחביר "var map:Map‹Int, String› = [];" דומה למערך.
• נוסף מבנה נתונים "haxe.ds.ReadOnlyArray".
• מטא נתונים יכולים כעת לכלול מרחבי שמות ("@:prefix.name function() {...}"). בדומה להגדרות: "#if (some.flag ... #end".
• פרוטוקול שירות חדש עבור IDEs בשימוש ב תוסף עבור VSCode.
• הגדרות חיצוניות מעודכנות (חיצוניות) עבור ממשקי API של אינטרנט ונוספו חסרים.

מקור: OpenNet.ru