שפת התכנות Julia 1.9 זמינה

פרסום שפת התכנות Julia 1.9, המשלב איכויות כמו ביצועים גבוהים, תמיכה בהקלדה דינמית וכלים מובנים לתכנות מקביל. התחביר של ג'וליה קרוב ל-MATLAB, עם כמה אלמנטים שאולים מרובי וליספ. שיטת מניפולציית המיתרים מזכירה את פרל. קוד הפרויקט מופץ תחת רישיון MIT.

תכונות עיקריות של השפה:

• ביצועים גבוהים: אחת ממטרות המפתח של הפרויקט היא להשיג ביצועים קרובים לתוכניות C. המהדר של Julia מבוסס על פרויקט LLVM ומייצר קוד מכונה מקורי יעיל עבור פלטפורמות יעד רבות;
• תמיכה בפרדיגמות תכנות שונות, כולל אלמנטים של תכנות מונחה עצמים ופונקציונלי. הספרייה הסטנדרטית מספקת פונקציות ל-I/O אסינכרוני, ניהול תהליכים, רישום, פרופילים וניהול חבילות, בין היתר;
• הקלדה דינמית: השפה אינה דורשת הגדרה מפורשת של טיפוסים למשתנים, באנלוגיה לשפות תכנות סקריפטים. תומך במצב אינטראקטיבי;
• אפשרות אופציונלית לציין סוגים במפורש;
• תחביר מצוין לחישובים מספריים, חישובים מדעיים, מערכות למידת מכונה והדמיית נתונים. תמיכה בסוגי נתונים מספריים רבים ובכלים לחישובים מקבילים.
• יכולת להתקשר ישירות לפונקציות מספריות C ללא שכבות נוספות.

שינויים עיקריים בג'וליה 1.9:

• תכונות שפה חדשות
  • אפשר לבצע מטלות במודול אחר באמצעות "setproperty!(::Module, ::Symbol, x)".
  • מותר להקצות ריבוי שלא בתפקיד הסופי. לדוגמה, המחרוזת "a, b..., c = 1, 2, 3, 4" תעובד כ-"a = 1; ב..., = 2, 3; c = 4". זה מטופל באמצעות Base.split_rest.
  • מילות תווים בודדות תומכות כעת באותו תחביר כמו מילולי מחרוזת; הָהֵן. התחביר יכול לייצג רצפי UTF-8 לא חוקיים, כפי שמותר על ידי סוג Char.
  • נוספה תמיכה במפרט Unicode 15.
  • כעת ניתן להשתמש בשילובים מקוננים של tuples ו-tuples עם שם של תווים כפרמטרי סוג.
  • פונקציות מובנות חדשות "getglobal(::Module, ::Symbol[, order])" ו-"setglobal!(::Module, ::Symbol, x[, order])" לקריאה וכתיבה בלעדית למשתנים גלובליים. כעת יש להעדיף את שיטת getglobal על פני שיטת getfield לגישה למשתנים גלובליים.
• שפה משתנה
  • המאקרו "@invoke" שהוצג בגרסה 1.7 מיוצא כעת וזמין לשימוש. כמו כן, הוא משתמש כעת בשיטת "Core.Typeof(x)" ולא ב-"Any" כאשר הערת הסוג מושמטת עבור הארגומנט "x". זה הכרחי כדי שסוגים המועברים כארגומנטים יעובדו בצורה נכונה.
  • ייצוא מופעל של הפונקציה "invokelatest" ושל המאקרו "@invokelatest" שהוצגו בגרסה 1.7.
• שיפורי מהדר/זמן ריצה
  • זמן מופחת משמעותית לביצוע ראשון (TTFX - זמן לביצוע ראשון). הידור מקדים של החבילה שומר כעת את הקוד המקורי ב-"pkgimage", מה שאומר שקוד שנוצר במהלך ההידור המקדים לא יהיה צורך להידור מחדש לאחר טעינת החבילה. ניתן לבטל את השימוש במצב pkgimages עם האפשרות "--pkgimages=no".
  • הבעיה הידועה של מורכבות ריבועית של מסקנות מסוג תוקנה, ובאופן כללי ההסקת מסקנת משתמשת בפחות זיכרון. כמה מקרי קצה עם פונקציות ארוכות שנוצרו אוטומטית (כגון ModelingToolkit.jl עם משוואות דיפרנציאליות חלקיות ומודלים סיבתיים גדולים) קומפלט הרבה יותר מהר.
  • שיחות עם ארגומנטים שאינם ספציפיים לסוג ניתנות כעת לפיצול איחוד מותאם להזרקה או לרזולוציה סטטית, גם אם יש מספר סוגים שונים של מועמדי שיגור. זה יכול לשפר את הביצועים במצבים מסוימים שבהם סוגי אובייקטים אינם נפתרים באופן סטטי לחלוטין, על ידי פתרון סטטי של אתרי שיחות "@nospecialize-d" והימנעות מהידור מחדש.
  • Все варианты использования макроса @pure в модуле Base заменены на Base.@assume_effects.
  • קריאות ל-invoke(f, invokesig, args...) עם סוגים פחות ספציפיים מאלה המשמשים בדרך כלל עבור f(args...) כבר לא גורמות להידור מחדש של החבילה.
• שינויים בפרמטרים של שורת הפקודה
  • ב-Linux ו-Windows, האפשרות "--threads=auto" מנסה כעת לקבוע את המספר הזמין של המעבדים על סמך זיקה ל-CPU, שהיא מסכה המוגדרת בדרך כלל בסביבות HPC וענן.
  • האפשרות "--math-mode=מהיר" הושבתה, ובמקומה מומלץ להשתמש במאקרו "@fastmath", בעל סמנטיקה מוגדרת היטב.
  • לפרמטר "--threads" יש כעת את הפורמט "auto | N[,auto|M]", כאשר M מציין את מספר השרשורים האינטראקטיביים ליצירה (כרגע אוטומטי פירושו 1).
  • נוספה האפשרות "--heap-size-hint= ", שקובע את הסף שאחריו מתחיל איסוף אשפה פעיל. ניתן לציין את הגודל בבייט, קילובייט (1000 קילו-בייט), מגה-בייט (300 מגה-בייט) או גיגה-בייט (1,5 גיגה-בייט).
• שינויים בריבוי השחלות
  • «Threads.@spawn» теперь имеет опциональный первый аргумент со значением «:default» или «:interactive». Интерактивная задача требует малой задержки отклика и рассчитана быть короткой или часто выполняемой. Интерактивные задачи будут выполняться в интерактивных потоках, если они указаны при запуске Julia.
  • שרשורים שהושקו מחוץ לזמן הריצה של Julia (לדוגמה, מ-C או Java) יכולים כעת לקרוא לקוד Julia באמצעות "jl_adopt_thread". זה קורה אוטומטית כאשר אתה מזין את קוד Julia דרך "cfunction" או נקודת הכניסה "@ccallable". כתוצאה מכך, מספר השרשורים יכול כעת להשתנות בזמן הריצה.
• פונקציות חדשות בספרייה
  • פונקציית "Iterators.flatmap" חדשה.
  • פונקציה חדשה "pkgversion(m::Module)" כדי לקבל את הגרסה של החבילה שטענה מודול נתון, בדומה ל-"pkgdir(m::Module)".
  • פונקציית "stack(x)" חדשה שמכלילה "reduce(hcat, x::Vector{<:Vector})" לכל מימד ומאפשרת כל איטרטור של איטרטורים. שיטת "stack(f, x)" מכליל "mapreduce(f, hcat, x)" והיא יעילה יותר.
  • מאקרו חדש לניתוח זיכרון מוקצה "@allocations", בדומה ל-"@allocated", אלא שהוא מחזיר את מספר הקצאות הזיכרון, לא את הגודל הכולל של הזיכרון שהוקצה.
• תכונות חדשות של הספרייה
  • "RoundFromZero" עובד כעת עבור סוגים אחרים מלבד "BigFloat".
  • כעת ניתן להקטין את "Dict" באופן ידני עם "sizehint!".
  • "@time" מציין כעת בנפרד את אחוז הזמן שהושקע בהידור מחדש של שיטות לא חוקיות.
• שינויים בספרייה הסטנדרטית
  • תוקנה בעיית במקביל בשיטות איטרציה עבור Dict ואובייקטים נגזרים אחרים כגון keys(::Dict), values(::Dict) ו-Set. כעת ניתן לקרוא לשיטות איטרציה אלו בדיקט או סט במקביל במספר בלתי מוגבל של שרשורים, כל עוד אין פעולות שמשנות את המילון או הסט.
  • שלילת פונקציית הפרדיקט "!f" מחזירה כעת פונקציה מורכבת "(!) ∘ f" במקום פונקציה אנונימית.
  • פונקציות פרוסת מימד פועלות כעת על פני מספר ממדים: "כל פרוסה", "כל פרוסה" ו-"כל" מחזירות אובייקט "פרוסות" המאפשר שיגור כדי לספק שיטות יעילות יותר.
  • נוסף מאקרו "@kwdef" ל-API הציבורי.
  • תוקנה בעיה בסדר הפעולות ב-"fld1".
  • המיון כעת תמיד יציב בזמן (QuickSort עוצב מחדש).
  • "Base.splat" מיוצא כעת. ערך ההחזרה הוא מסוג "Base.Splat" ולא פונקציה אנונימית, מה שמאפשר להסיק אותו בצורה יפה.
• מנהל אריזה
  • "הרחבות חבילה": תמיכה בטעינת קטע קוד מחבילות אחרות שנטענו בסשן של Julia. האפליקציה דומה לחבילת "Requires.jl", אך נתמכות בהידור מראש ובתאימות לתצורה.
• ספריית אלגברה לינארית
  • עקב הסיכון לבלבול עם חלוקה אלמנטרית, הוסרו שיטות "a / b" ו- "b \ a" עם "a" וקטור "b" הסקלרי, שהיו שוות ערך ל-"a * pinv(b)".
  • קריאות BLAS ו-LAPACK משתמשות כעת ב-"libblastrampoline (LBT)". OpenBLAS מסופק כברירת מחדל, אך בניית תמונת מערכת עם ספריות BLAS/LAPACK אחרות אינה נתמכת. במקום זאת, מומלץ להשתמש במנגנון LBT כדי להחליף את BLAS/LAPACK בסט זמין אחר של ספריות.
  • "lu" תומך באסטרטגיית סיבוב המטריצה ​​החדשה "RowNonZero()", שבוחרת את רכיב הסיבוב הראשון שאינו אפס לשימוש עם סוגי החשבון החדשים ולמטרות חינוכיות.
  • "normalize(x, p=2)" תומך כעת בכל מרחב וקטור מנורמל "x", כולל סקלרים.
  • מספר ברירת המחדל של פתילי BLAS שווה כעת למספר פתילי מעבד בארכיטקטורת ARM ומחצית ממספר פתילי מעבד בארכיטקטורות אחרות.
• Printf: הודעות שגיאה שעובדו מחדש עבור מחרוזות עם צורה שגויה לקריאות טובה יותר.
• פרופיל: פונקציה חדשה "Profile.take_heap_snapshot(file)" הלוכדת קובץ בפורמט ".heapsnapshot" מבוסס JSON הנתמך על ידי Chrome.
• אקראי: randn ו-randexp פועלים כעת עבור כל סוג AbstractFloat שמגדיר רנד.
• תשובה
  • לחיצה על צירוף המקשים "Alt-e" פותחת כעת את הקלט הנוכחי בעורך. התוכן (אם ישונה) יתבצע כאשר העורך ייצא.
  • ניתן לשנות את הקשר המודול הנוכחי שפעיל ב-REPL (כברירת מחדל הוא Main) באמצעות הפונקציה "REPL.activate(::Module)" או על ידי הזנת המודול ב-REPL ולחיצה על מקש "Alt-m" קוֹמבִּינַצִיָה.
  • ניתן להפעיל את מצב "הנחיה ממוספרת", המדפיס מספרים עבור כל קלט ופלט ומאחסן את התוצאות המוערכות ב-Out, באמצעות "REPL.numbered_prompt!()".
  • השלמת הכרטיסייה מציגה את ארגומנטי מילות המפתח הזמינים.
• SuiteSparse: הועבר קוד לפותר "SuiteSparse" ל-"SparseArrays.jl". פותרים מיוצאים כעת מחדש על ידי "SuiteSparse.jl".
• SparseArrays
  • פותרי SuiteSparse זמינים כעת כתת-מודולים של SparseArrays.
  • מצבי ההגנה על זרם UMFPACK ו-CHOLMOD שופרו על ידי ביטול משתנים גלובליים ושימוש במנעולים. "ldiv!" מרובה הליכי כעת ניתן להפעיל אובייקטי UMFPACK בבטחה.
  • הפונקציה הניסיונית "SparseArrays.allowscalar(::Bool)" מאפשרת לך להשבית או להפעיל אינדקס סקלרי של מערכים דלילים. פונקציה זו נועדה לזהות אינדקס סקלארי אקראי של אובייקטים "SparseMatrixCSC", המהווה מקור נפוץ לבעיות ביצועים.
• מצב כשל חדש עבור חבילות בדיקה שמסיים הפעלת בדיקה מוקדמת במקרה של כשל או שגיאה. הגדר באמצעות "@testset kwarg failfast=true" או "export JULIA_TEST_FAILFAST=true". זה עשוי להיות נחוץ בהשקות CI כדי לקבל הודעות שגיאה מוקדמות.
• תאריכים: מחרוזות ריקות כבר לא מנותחות בצורה שגויה כערכים חוקיים של "DateTime", "Dates" או "Times" ובמקום זאת זורקים שגיאת "ArgumentError" בבונים ובניתוח, בעוד "tryparse" לא מחזיר דבר.
• חבילה מבוזרת
  • תצורת החבילה (פרויקט פעיל, "LOAD_PATH", "DEPOT_PATH") מופצת כעת כאשר מתווספים תהליכי עבודה מקומיים (למשל עם "addprocs(N::Int)" או עם דגל שורת הפקודה "-procs=N").
  • "addprocs" עבור תהליכי עבודה מקומיים לוקח כעת ארגומנט בשם "env" כדי להעביר משתני סביבה לתהליכי עובד.
• Unicode: "graphemes(s, m:n)" מחזיר את המחרוזת המשנה מ-mth עד nth graphemes ב-"s".
• חבילת DelimitedFiles הוסרה מספריות המערכת ומופצת כעת כחבילה נפרדת שיש להתקין במפורש כדי להשתמש בה.
• תלות חיצונית
  • לינוקס מזהה אוטומטית את הגרסה של ספריית המערכת libstdc++ וטוענת אותה אם היא חדשה יותר. ניתן לשחזר את ההתנהגות הישנה של טעינת ה-libstdc++ המובנה ללא קשר לגרסת המערכת על ידי הגדרת משתנה הסביבה "JULIA_PROBE_LIBSTDCXX=0".
  • הוסר "RPATH" מהבינארי יוליה, שיכול לשבור ספריות בלינוקס שלא מצליחות להגדיר את המשתנה "RUNPATH".
  • שיפורים בכלים: הפלט של "MethodError" ושיטות (לדוגמה, מ-"methods(my_func)") מעוצב כעת וצובע בהתאם לאופן שבו מתודות מופקות ב-Stack Traces.

  מקור: OpenNet.ru