שחרור שפת התכנות Julia 1.8

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

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

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

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

• תכונות שפה חדשות
  • שדות של מבנה ניתן לשינוי ניתנים כעת להערה כקבועים כדי למנוע את שינוים ולאפשר אופטימיזציה.
  • ניתן להוסיף הערות סוג למשתנים גלובליים.
  • ניתן ליצור מערכים n-ממדיים ריקים באמצעות נקודות פסיק מרובות בתוך סוגריים מרובעים, לדוגמה "[;;;]" יוצר מערך 0x0x0.
  • חסימות ניסיון יכולים כעת לכלול בלוק אחר, אשר מבוצע מיד לאחר הגוף הראשי אם לא נזרקו שגיאות.
  • ניתן למקם את @inline ו-@noinline בתוך גוף פונקציה, מה שמאפשר לך להוסיף הערות לפונקציה אנונימית.
  • כעת ניתן להחיל את @inline ו-@noinline על פונקציה באתר שיחה או חסימה כדי לאלץ את קריאות הפונקציה המתאימות להיכלל (או לא לכלול).
  • ∀, ∃ ו∄ מותרים כתווי מזהה.
  • נוספה תמיכה במפרט Unicode 14.0.0.
  • ניתן להשתמש בשיטת Module(:name, false, false) כדי ליצור מודול שאינו מכיל שמות, אינו מייבא Base או Core, ואינו מכיל הפניה לעצמו.
• שפה משתנה
  • לאובייקטי משימה שזה עתה נוצרו (@spawn, @async וכו') יש כעת world_age עבור שיטות מהמשימה האב כאשר נוצרו, מה שמאפשר ביצוע אופטימלי. אפשרות ההפעלה הקודמת זמינה בשיטת Base.invokelatest.
  • הנחיות עיצוב דו-כיווניות לא מאוזנות של Unicode אסורות כעת במחרוזות ובהערות כדי להימנע מהזרקות.
  • Base.ifelse מוגדר כעת כפונקציה גנרית ולא כפונקציה מובנית, המאפשרת לחבילות להרחיב את ההגדרה שלה.
  • כל הקצאה למשתנה גלובלי עוברת כעת תחילה קריאה להמיר (Any, x) או להמיר (T, x) אם המשתנה הגלובלי הוכרז כסוג T. לפני השימוש במשתנים גלובליים, ודא שה-Invariant convert(Any) , x) === x תמיד נכון, אחרת זה עלול להוביל להתנהגות בלתי צפויה.
  • פונקציות מובנות דומות כעת לפונקציות כלליות וניתן למנות אותן באופן תכנותי באמצעות שיטות.
• שיפורי מהדר/זמן ריצה
  • זמן האתחול ירד בכ-25%.
  • המהדר מבוסס LLVM הופרד מספריית זמן הריצה לספרייה חדשה, libjulia-codegen. הוא נטען כברירת מחדל, כך שלא אמורים להיות שינויים במהלך שימוש רגיל. בפריסות שאינן זקוקות למהדר (לדוגמה, תמונות מערכת שבהן כל הקוד הדרוש מראש), ניתן פשוט להשמיט את הספרייה הזו (והתלות שלה ב-LLVM).
  • היסק מסוג מותנה אפשרי כעת על ידי העברת ארגומנט לשיטה. לדוגמה, עבור Base.ifelse(isa(x, Int), x, 0) מחזירה ::Int גם אם הסוג של x אינו ידוע.
  • SROA (Scalar Replacement of Aggregates) שופר: מבטל קריאות getfield עם שדות גלובליים מתמידים, מבטל מבנים הניתנים לשינוי עם שדות לא מאותחלים, משפר ביצועים וטיפול בקריאות getfield מקוננות.
  • סוג מסקנות עוקב אחר השפעות שונות - תופעות לוואי ואי-הורדה. נלקחת בחשבון התפשטות מתמדת, מה שמשפר משמעותית את ביצועי זמן ההידור. במקרים מסוימים, למשל, קריאות לפונקציות שלא ניתן להטמין אך אינן משפיעות על התוצאה יימחקו בזמן הריצה. ניתן להחליף כללים לאפקטים באופן ידני באמצעות המאקרו Base.@assume_effects.
  • הידור מראש (עם הנחיות הידור מראש מפורשות או עומסי עבודה מוגדרים) חוסך כעת קוד מוגדר יותר, וכתוצאה מכך ביצוע מהיר יותר בפעם הראשונה. כל שילובי שיטה/סוגים חדשים הדרושים לחבילה שלך, ללא קשר למקום שבו הוגדרו שיטות אלו, ניתן כעת לאחסן במטמון בקובץ ההידור המקדים אם הם נקראים על ידי שיטה השייכת לחבילה שלך.
• שינויים בפרמטרים של שורת הפקודה
  • התנהגות ברירת המחדל לניטור הצהרות @inbounds היא כעת האפשרות האוטומטית ב---check-bounds=yes|no|auto.
  • אפשרות חדשה של "--strip-metadata" להסרת מחרוזות docstrings, מידע על מיקום מקור ושמות משתנים מקומיים בעת יצירת תמונת מערכת.
  • אפשרות חדשה "--strip-ir" כדי לאפשר למהדר להסיר את ייצוג קוד המקור הביניים בעת בניית תמונת המערכת. התמונה המתקבלת תעבוד רק אם נעשה שימוש ב-"--compile=all" או אם כל הקוד הנדרש הידור מראש.
  • אם התו "-" מצוין במקום שם הקובץ, קוד ההפעלה נקרא מזרם הקלט הסטנדרטי.
• שינויים בתמיכה בריבוי השחלות
  • Threads.@threads כברירת מחדל משתמש באפשרות התזמון החדשה :dynamic, השונה מהמצב הקודם בכך שהאיטרציות יתוזמנו באופן דינמי על פני שרשורי עובדים זמינים במקום להיות מוקצות לכל שרשור. מצב זה מאפשר הפצה טובה יותר של לולאות מקוננות עם @spawn ו-@threads.
• פונקציות חדשות בספרייה
  • eachsplit(str) לביצוע split(str) מספר פעמים.
  • allequal(itr) כדי לבדוק אם כל האלמנטים באיטרטור שווים.
  • ניתן להשתמש ב-hardlink(src, dst) ליצירת קישורים קשיחים.
  • setcpuaffinity(cmd, cpus) כדי להגדיר את הזיקה של ליבת המעבד לתהליכים שהושקו.
  • diskstat(path=pwd()) כדי לקבל סטטיסטיקת דיסק.
  • מאקרו @showtime חדש כדי להציג הן את השורה הנבדקת והן את דוח @time.
  • LazyString ומקרו עצלן"str" ​​נוספו כדי לתמוך בבנייה עצלנית של הודעות שגיאה בנתיבי שגיאה.
  • תוקנה בעיית במקביל ב-Dict ובאובייקטים נגזרים אחרים כגון keys(::Dict), values(::Dict) ו-Set. כעת ניתן לקרוא לשיטות איטרציה במילון או בקבוצה, כל עוד אין קריאות שמשנות את המילון או הסט.
  • ל-@time ול-@timev יש כעת תיאור אופציונלי, המאפשר לך להוסיף הערות למקור דוחות הזמן, למשל. @time "Evaluating foo" foo().
  • טווח לוקח עצירה או אורך כארגומנט מילת המפתח היחיד שלו.
  • דיוק ו-setprecision מקבלים כעת בסיס כמילת מפתח
  • אובייקטי שקע TCP מספקים כעת שיטת כתיבה קרובה ותומכים בשימוש במצב חצי פתוח.
  • אקסטרמה מקבלת כעת טיעון התחלתי.
  • Iterators.countfrom עכשיו מקבל כל סוג שמגדיר שיטת +.
  • @time מקצה כעת את % מהזמן המושקע בהידור מחדש של שיטות עם סוגים שהשתנו.
• שינויים בספרייה רגילה
  • מפתחות עם ערך שום דבר אינו מוסר כעת מהסביבה ב-addenv.
  • Iterators.reverse (ולכן האחרון) תומך בכל שורה.
  • פונקציית האורך עבור טווחים מסוגים מסוימים אינה בודקת עוד הצפת מספרים שלמים. פונקציה חדשה, checked_length, זמינה; היא מכילה לוגיקת בקרת העברת סיביות. במידת הצורך, השתמש ב-SaferIntegers.jl כדי לבנות את סוג הטווח.
  • האיטרטור Iterators.Reverse מיישם כל היפוך אינדקס במידת האפשר.
• מנהל אריזה
  • מחוונים חדשים ⌃ ו- ⌅ לצד חבילות בסטטוס "pkg>" שעבורן זמינות גרסאות חדשות. ⌅ מציין שלא ניתן להתקין גרסאות חדשות.
  • ארגומנט חדש מיושן::Bool ל-Pkg.status (--outdated או -o במצב REPL) כדי להציג מידע על חבילות מגרסאות קודמות.
  • ארגומנט חדש compat::Bool ל-Pkg.status (--compat או -c במצב REPL) כדי להציג כל ערכי [compat] ב-Project.toml.
  • מצב חדש "pkg>compat" (ו-Pkg.compat) להגדרת ערכי תאימות לפרויקט. מספק עורך אינטראקטיבי באמצעות "pkg>compat" או בקרת רשומות ישירה באמצעות "pkg>Foo 0.4,0.5", שיכול לטעון רשומות נוכחיות באמצעות השלמת כרטיסיות. כלומר, "pkg> compat Fo " מתעדכן אוטומטית ל-"pkg>Foo 0.4,0.5" כדי לאפשר עריכה של ערך קיים.
  • Pkg מנסה כעת להוריד חבילות משרת חבילות רק אם השרת עוקב אחר הרישום המכיל את החבילה.
  • Pkg.instantiate תוציא כעת אזהרה כאשר Project.toml אינו מסונכרן עם Manifest.toml. הוא עושה זאת בהתבסס על hash של ה-deps ורשומות ה-compat של הפרויקט (מתעלמים משדות אחרים) במניפסט בעת פתרון זה, כך שניתן לזהות כל שינוי ב- Project.toml deps או רשומות ה-compat מבלי לפתור מחדש.
  • אם "pkg>add" לא יכול למצוא חבילה עם השם הנתון, הוא יציע כעת חבילות עם שמות דומים שניתן להוסיף.
  • הגרסה של Julia המאוחסנת במניפסט כבר לא כוללת את מספר ה-build, כלומר מאסטר ייכתב כעת כ-1.9.0-DEV.
  • ביטול הבדיקה "pkg>" יזוהה כעת באופן עקבי יותר, ויוחזר כראוי ל-REPL.
• InteractiveUtils
  • מאקרו חדש של @time_imports לדיווח על הזמן המושקע בייבוא ​​חבילות והתלות שלהן, תוך הדגשת זמן קומפילציה והידור מחדש כאחוז מהייבוא.
• אלגברה ליניארית
  • תת-מודול BLAS תומך כעת בפונקציות BLAS spr! ברמה 2.
  • הספרייה הסטנדרטית LinearAlgebra.jl אינה תלויה לחלוטין ב-SparseArrays.jl, הן מנקודת מבט של קוד מקור והן מנקודת מבט של בדיקת יחידות. כתוצאה מכך, מערכים דלילים אינם מוחזרים עוד (במרומז) על ידי שיטות מ-LinearAlgebra המוחלות על אובייקטים Base או LinearAlgebra. בפרט, זה מוביל לשינויים השבירים הבאים:
    • שרשורים באמצעות מטריצות "דלילות" מיוחדות (למשל אלכסוניות) מחזירות כעת מטריצות צפופות; כתוצאה מכך, שדות D1 ו-D2 של אובייקטי SVD שנוצרו על ידי קריאות getproperty הם כעת מטריצות צפופות.
    • השיטה הדומה (::SpecialSparseMatrix, ::Type, ::Dims) מחזירה מטריצת null צפופה. כתוצאה מכך, תוצרים של מטריצות תלת אלכסוניות דו, שלוש וסימטריות זה עם זה מובילים ליצירת מטריצה ​​צפופה. בנוסף, בניית מטריצות דומות עם שלושה ארגומנטים ממטריצות "דלילות" מיוחדות ממטריצות (לא סטטיות) נכשלת כעת עקב "XNUMX(::Type{Matrix{T}})".
• Printf
  • %s ו-%c משתמשים כעת בארגומנט textwidth כדי לעצב את הרוחב.
• פּרוֹפִיל
  • פרופיל עומס מעבד מתעד כעת מטא נתונים כולל שרשורים ומשימות. ל-Profile.print() יש ארגומנט groupby חדש המאפשר לך לקבץ שרשורים, משימות או תת-שרשורים/משימות, משימות/שרשורים וארגומנטים של שרשורים ומשימות כדי לספק סינון. בנוסף, אחוז הניצול מדווח כעת כסך כולל או לכל פתיל, תלוי אם הפתיל אינו פעיל או לא בכל דגימה. Profile.fetch() כולל את המטא נתונים החדשים כברירת מחדל. עבור תאימות לאחור עם צרכנים חיצוניים של נתוני פרופיל, ניתן להחריג אותו על ידי העברת include_meta=false.
  • מודול Profile.Allocs החדש מאפשר לך ליצור פרופיל של הקצאות זיכרון. נרשם עקבות מחסנית של הסוג והגודל של כל הקצאת זיכרון, והארגומנט sample_rate מאפשר לדלג על מספר ניתן להגדרה של הקצאות, מה שמפחית את תקרת הביצועים.
  • כעת ניתן להריץ פרופיל CPU של משך זמן קבוע על ידי המשתמש בזמן שהמשימות פועלות מבלי לטעון תחילה את הפרופיל, והדוח יוצג בזמן הריצה. ב-MacOS וב-FreeBSD, הקש ctrl-t או התקשר ל-SIGINFO. עבור פלטפורמות אחרות, הפעל את SIGUSR1, כלומר. % kill -USR1 $julia_pid. זה לא זמין ב-Windows.
• תשובה
  • RadioMenu תומך כעת בקיצורי מקלדת נוספים לבחירה ישירה של אפשרויות.
  • הרצף "?(x, y" ואחריו לחיצה על TAB מציג את כל השיטות שניתן לקרוא עם הארגומנטים x, y, .... (רווח מוביל מונע ממך להיכנס למצב עזרה.) "MyModule.?(x, y " מגביל את החיפוש ל-"MyModule". לחיצה על TAB מחייבת שלפחות ארגומנט אחד יהיה מסוג ספציפי יותר מכל. או השתמש ב-SHIFT-TAB במקום ב-TAB כדי לאפשר שיטות תואמות כלשהן.
  • המשתנה הגלובלי החדש err מאפשר לך לקבל את החריג האחרון, בדומה להתנהגות של ans עם התגובה האחרונה. הזנת שגיאה מדפיסה מחדש את פרטי החריגה.
• SparseArrays
  • העביר את קוד SparseArrays ממאגר Julia למאגר SparseArrays.jl החיצוני.
  • פונקציות השרשור החדשות sparse_hcat, sparse_vcat ו-sparse_hvcat מחזירות סוג SparseMatrixCSC ללא קשר לסוגי ארגומנטי הקלט. זה הכרחי כדי לאחד את המנגנון להדבקת מטריצות לאחר הפרדת הקוד LinearAlgebra.jl ו-SparseArrays.jl.
• רישום
  • רמות הרישום הסטנדרטיות BelowMinLevel, Debug, Info, Warn, Error ו-AboveMaxLevel מיוצאות כעת מספריית Logging הרגילה.
• Unicode
  • נוספה פונקציה isequal_normalized לבדיקת שקילות Unicode מבלי לבנות באופן מפורש מחרוזות מנורמלות.
  • הפונקציה Unicode.normalize מקבלת כעת את מילת המפתח charttransform, שניתן להשתמש בה כדי לספק מיפוי תווים מותאמים אישית, והפונקציה Unicode.julia_chartransform מסופקת גם כדי לשחזר את המיפוי המשמש כאשר מנתח Julia מנרמל מזהים.
• מִבְחָן
  • כעת ניתן להשתמש ב-'@test_throws "הודעה כלשהי" triggers_error()' כדי לבדוק אם טקסט השגיאה המוצג מכיל שגיאת "הודעה כלשהי", ללא קשר לסוג החריג הספציפי. גם ביטויים רגולריים, רשימות מחרוזות ופונקציות תואמות נתמכים.
  • כעת ניתן להשתמש ב-@testset foo() ליצירת ערכת בדיקה מפונקציה נתונה. שם מקרה המבחן הוא שם הפונקציה הנקראת. הפונקציה הנקראת עשויה להכיל @test והגדרות @testset אחרות, כולל עבור קריאות לפונקציות אחרות, תוך הקלטת כל תוצאות הבדיקה הביניים.
  • TestLogger ו-LogRecord מיוצאים כעת מספריית הבדיקה הרגילה.
• מופץ
  • SSHManager תומך כעת בשרשורי עובדים עם מעטפת csh/tcsh באמצעות שיטת addprocs() והפרמטר shell=:csh.
• שינויים אחרים
  • ניתן להשתמש ב-GC.enable_logging(true) לתיעוד כל פעולת איסוף אשפה עם הזמן וכמות הזיכרון שנאסף.

מקור: OpenNet.ru