קוד פתוח עבור Luau, גרסת בדיקת סוגים של שפת Lua

הודיעה על הקוד הפתוח והפרסום של המהדורה העצמאית הראשונה של שפת התכנות Luau, ממשיכה בפיתוח של שפת Lua ותואמת לאחור עם Lua 5.1. Luau מיועדת בעיקר להטמעת מנועי סקריפטים באפליקציות ומטרתה להשיג ביצועים גבוהים וצריכת משאבים נמוכה. קוד הפרויקט כתוב ב-C++ והוא פתוח תחת רישיון MIT.

Luau מרחיב את Lua עם יכולות בדיקת סוגים וכמה מבנים תחביריים חדשים כגון מילולי מחרוזת. השפה תואמת לאחור עם Lua 5.1 ובחלקה עם גרסאות חדשות יותר. ה-API של Lua Runtime נתמך, ומאפשר לך להשתמש ב-Luau עם קוד וקיימות קיימים. זמן הריצה של השפה מבוסס על קוד ריצה Lua 5.1 שעובד מחדש מאוד, אך המתורגמן משוכתב לחלוטין. במהלך הפיתוח, נעשה שימוש בכמה טכניקות אופטימיזציה חדשות כדי להשיג ביצועים גבוהים יותר בהשוואה ל-Lua.

הפרויקט פותח על ידי Roblox ומשמש בקוד של פלטפורמת המשחקים, המשחקים ויישומי המשתמש של חברה זו, כולל עורך Roblox Studio. בתחילה פותח לואו בדלתיים סגורות, אך בסופו של דבר הוחלט להעבירו לקטגוריה של פרויקטים פתוחים להמשך פיתוח משותף בהשתתפות הקהילה.

תכונות עיקריות:

• הקלדה הדרגתית, תופסת עמדת ביניים בין הקלדה דינאמית וסטטית. Luau מאפשר לך להשתמש בהקלדה סטטית לפי הצורך על ידי ציון מידע סוג באמצעות הערות מיוחדות. מסופקים הסוגים המובנים "כל", "אפס", "בוליאני", "מספר", "מחרוזת" ו"חוט". יחד עם זאת נשמרת האפשרות להשתמש בהקלדה דינמית ללא הגדרה מפורשת של סוג המשתנים והפונקציות. function foo(x: number, y: string): k: string = y:rep(x) החזר k == "a" סוף
• תמיכה במילולי מחרוזת (כמו ב-Lua 5.3) כגון "\0x**" (מספר הקסדצימלי), "\u{**}" (תו Unicode) ו-"\z" (סוף השורה), כמו גם יכולת לדמיין עיצוב מספרים (ניתן לכתוב 1_000_000 במקום 1000000), מילוליות עבור מספרים הקסדצימליים (0x...) ובינאריים (0b......).
• תמיכה בביטוי "המשך", המשלים את מילת המפתח "הפסקה" הקיימת, כדי לקפוץ לאיטרציה חדשה של לולאה.
• תמיכה באופרטורים של הקצאות מורכבות (+=, -=, *=, /=, %=, ^=, ..=).
• תמיכה בשימוש בלוקים מותנים של "אם-אז-אחר" בצורת ביטויים המחזירים את הערך שחושב במהלך ביצוע הבלוק. אתה יכול לציין מספר שרירותי של ביטויי elseif בבלוק. local maxValue = אם a > b אז a else b סימן מקומי = אם x < 0 אז -1 elseif x > 0 אז 1 else 0
• נוכחות של מצב בידוד (ארגז חול), המאפשר לך להפעיל קוד לא אמין. ניתן להשתמש בתכונה זו כדי לארגן את ההשקה זה לצד זה של הקוד והקוד שלך שנכתבו על ידי מפתח אחר, למשל, ספריות של צד שלישי שלא ניתן להבטיח את בטיחותן.
• מגבלה של הספרייה הסטנדרטית שממנה הוסרו פונקציות שעלולות ליצור בעיות אבטחה. לדוגמה, הספריות "io" (גישה לקבצים ותהליכי השקה), "חבילה" (גישה לקבצים וטעינת מודולים), "os" (פונקציות לגישה לקבצים ושינוי משתני סביבה), "Debug" (פעולה לא בטוחה עם זיכרון) , "dofile" ו-"loadfile" (גישה ל-FS).
• מתן כלים לניתוח קוד סטטי, זיהוי שגיאות (לינטר) ובדיקת שימוש נכון בסוגים.
• מנתח בעל ביצועים גבוהים, מתורגמן וקומפיילר בייטקוד. Luau עדיין לא תומך בקומפילציה של JIT, אך טוענים שהמתורגמן Luau די דומה בביצועים ל-LuaJIT במצבים מסוימים.

מקור: OpenNet.ru