, стверджує, що розробляє прототип нової мови програмування.){kind=link}
יש צורך במחשוב בעל ביצועים גבוהים כדי לפתור עוד ועוד משימות - כמו עיבוד תמונה או יישומי למידה עמוקה שונים ברשתות עצביות - שבהן אתה צריך לעבד כמויות עצומות של נתונים, ולעשות את זה מהר מספיק, אחרת זה יכול לקחת כמות מדהימה של זְמַן. הדעה הרווחת היא שכאשר מבצעים פעולות כאלה, פשרה בין מהירות ואמינות היא בלתי נמנעת. לפי חשיבה זו, אם המהירות היא בראש סדר העדיפויות, אזי האמינות צפויה לסבול ולהיפך.
עם זאת, קבוצת חוקרים שבסיסה בעיקר במכון הטכנולוגי של מסצ'וסטס (MIT) מאתגרת את הרעיון הזה, בטענה שבעצם אתה יכול לקבל הכל. לדברי אמנדה ליו, סטודנטית לתואר שני בשנה ב' במעבדת מדעי המחשב והבינה המלאכותית של MIT (CSAIL), עם שפת תכנות חדשה שכתבו במיוחד עבור מחשוב בעל ביצועים גבוהים, "מהירות ונכונות לא חייבות להתחרות. להיפך, הם יכולים ללכת ביחד, זה לצד זה, בתוכניות שאנחנו כותבים". ליו והצוות שלה דיברו על הפוטנציאל של שפת הטנסור (ATL) החדשים שנוצרו בחודש שעבר בכנס עקרונות שפות התכנות בפילדלפיה.
"כל דבר בשפה שלנו", אומר ליו, "נועד לקבל מספר בודד או טנזור". טנסורים, בתורם, הם הכללה של וקטורים ומטריצות. בעוד וקטורים הם אובייקטים חד-ממדיים (מיוצגים לרוב על ידי חיצים בודדים) ומטריצות הן מערכים דו-ממדיים מוכרים של מספרים, הטנזורים הם מערכים n-ממדיים שיכולים ללבוש צורה של מערך 3×3×3, למשל, או אפילו ממד גבוה יותר (או נמוך).
המהות של אלגוריתם מחשב או תוכנית היא ליזום חישוב מסוים. אבל יכולות להיות דרכים רבות ושונות לכתוב את התוכנית הזו - "מגוון מפתיע של יישומי קוד שונים", כפי שכותבים ליו ושותפיה במאמרם - חלקן מהירות משמעותית מאחרות. הרציונל העיקרי מאחורי ATL, היא מסבירה, הוא זה: "בהתחשב בכך שמחשוב בעל ביצועים גבוהים הוא כל כך עתיר משאבים, אתה רוצה להיות מסוגל לשנות או לשכתב תוכניות בצורה אופטימלית כדי להאיץ את העניינים. לעתים קרובות אתה מתחיל עם התוכנית שהכי קל לכתוב אותה, אבל אולי זו לא הדרך המהירה ביותר להפעיל אותה, אז אתה עדיין צריך לבצע התאמות נוספות."
שפת הפיקוד החדשה מבוססת על שפת Coq הקיימת, הכוללת עוזר הוכחה. לעוזר ההוכחה, בתורו, יש את היכולת להוכיח את הצהרותיו בצורה מתמטית במדויק. ל-Coq יש תכונה נוספת שהפכה אותה לאטרקטיבית עבור קבוצת MIT: תוכניות הכתובות בשפה זו, או עיבוד שלה, מסתיימות תמיד ואינן יכולות לפעול ללא הגבלת זמן בלולאות אינסופיות.
כעת זוהי שפת הטנזורה הראשונה ועד כה היחידה עם אופטימיזציות מאומתות רשמית. עם זאת, צוות MIT מזהיר ש-ATL הוא עדיין רק אב טיפוס - אם כי מבטיח - שנבדק במספר תוכניות קטנות.
קרא גם: