TypeScript

TypeScript (בעברית: טייפ סקריפט) היא שפת תכנות מבוססת קוד פתוח המפותחת ומתוחזקת על ידי מיקרוסופט. השפה היא ערכת-על (superset) תחבירית מוקפדת של JavaScript (כלומר, כל קוד JavaScript הוא קוד תקין ב-TypeScript) ומוסיפה עליה טיפוסיות סטטית אופציונאלית והרחבות לתכנות מונחה-עצמים. TypeScript תוכננה לפיתוח מערכות גדולות ומורכבות ועוברת טרנס-קומפילציה  ל-JavaScript.

מאז השקתה חוותה הצלחה רבה בעיקר עקב היכולת לכתוב אפליקציות מורכבות על בסיס JavaScript. אנדרס הלסברג, מהארכיטקטים הראשיים של #C ויוצר Delphi ו-Turbo Pascal, משתתף בפיתוח של TypeScript.

השפה תומכת בקובצי מטא-דאטה דוגמת קובצי "Header" של ++C או C הנקראים קובצי הצהרה (declaration) שסיומתם "d.ts." אשר מנגישים מידע אודות הטיפוסים בספריות JavaScript. קבצים אלו משמשים לתיאור טיפוסי ה-TypeScript המיוצאים מספריות JavaScript כאשר מפתח צורך אותן. קיימים קובצי הצהרה צד שלישי עבור ספריות פופולריות כגון jQuery, MongoDB ,D3.js והמודולים המובנים של Node.js.

קובצי TypeScript מזוהים על ידי הסיומת "ts.". דפדפנים לא תומכים בקבצים מסוג ts, ולכן נדרש תהליך טרנס-קומפילציה כדי להפוך אותם לקובצי js הנתמכים בדפדפנים.

TypeScript יוצאת לאור תחת הרישיון אפאצ'י 2.

נכון לספטמבר 2020, כל הקוד של TypeScript זמין ב-GitHub.

היסטוריה 
הגרסה הראשונה יצאה לאור באוקטובר 2012 (בגרסה 0.8) לאחר שנתיים של פיתוח פנימי במיקרוסופט.

TypeScript 0.9, שיצאה לאור  בשנת 2013, הוסיפה תמיכה בגנריות. TypeScript 1.0 שוחררה בכנס המפתחים Build של מיקרוסופט בשנת 2014.

ביולי 2014 הכריז צוות הפיתוח של TypeScript על מהדר חדש, וטענו שביצועיו שופרו פי 5. במקביל, קוד המקור, שבתחילה היה זמין ב-CodePlex, הועבר ל-GitHub.

ב- 22 בספטמבר 2016 יצאה לאור גרסה 2.0 של TypeScript.

גרסה 3.0 של TypeScript יצאה לאור ב -30 ביולי 2018, והביאה תוספות רבות לשפה, כמו tuples בפרמטרי rest וביטויי spread, פרמטרי rest מטיפוס tuple, פרמטרי rest מטיפוסים גנריים וכן הלאה.

תכונות 
TypeScript מוסיפה תכונות ל-ECMAScript 6, כגון:

 Type annotations ובדיקת טיפוסים בזמן הידור
 הסקת טיפוסים
 ממשקים
 Enums
 תכנות גנרי
 Namespaces
 Tuples
 Async/await

בנוסף, TypeScript מאפשרת לקבוע שהטרנספילציה תיצור קוד JavaScript מגרסאות ישנות של ECMAScript (עד ECMAScript 3). התכונות הבאות של ECMAScript 2015 ממומשות על ידי TypeScript לתמיכה בגרסאות ישנות:

 מחלקות
 מודולים
 תחביר "חץ" עבור פונקציות אנונימיות (תחשיב למבדא)
 פרמטרים אופציונליים ובעלי ברירת מחדל

תאימות ל-JavaScript 
TypeScript היא ערכת-על (superset) של ECMAScript 2015, שהיא בעצמה ערכת-על של ECMAScript 5, המכונה בדרך כלל JavaScript. כלומר, היא מכילה את כל הפקודות והתחביר של JavaScript. ככזו, כל קוד JavaScript הוא גם קוד TypeScript תקין. כברירת מחדל המהדר מכוון ל-ECMAScript 5, הסטנדרט כיום, אך הוא מסוגל גם ליצור קוד הנתמך ב-ECMAScript 3 או 2015.

עם TypeScript ניתן להשתמש בקוד JavaScript קיים, לשלב ספריות JavaScript פופולריות ולקרוא לקוד שנוצר מ-TypeScript בקוד JavaScript אחר. יש לספק הצהרות טיפוסים עבור ספריות אלה על מנת להשתמש בהן בקוד TypeScript.

Type annotations 
TypeScript מוסיפה על התחביר של JavaScript את התחביר לקביעת טיפוס הנקרא type annotation, וזה מאפשר בדיקת טיפוסים בזמן הידור.function add(left: number, right: number): number {
	return left + right;
}ה-annotations עבור טיפוסים פרימיטיביים הם number, boolean ו-string. מבנים מטיפוס דינמי הם בעלי הטיפוס any.

המהדר של TypeScript עושה שימוש בהסקת טיפוסים (type inference) כדי להסיק טיפוסים כאשר טיפוסים מסופקים. לדוגמה, בפונקציית  בקוד שלעיל, טיפוס ערך ההחזרה של הפונקציה היה מוסק להיות , גם אם לא סופק type annotation עבור טיפוס ערך ההחזרה. הסקה זו מבוססת על הטיפוסים הסטטיים של  ו- שהם שניהם מטיפוס , והידיעה של המהדר שהתוצאה של חיבור שני משתנים מטיפוס  היא תמיד . עם זאת, הצהרה מפורשת על טיפוס ערך ההחזרה מאפשרת למהדר לאמת נכונות.

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

קובצי הצהרה 
כאשר קובץ סקריפט של TypeScript עובר תהליך הידור יש אפשרות ליצור קובץ הצהרה (עם הסיומת ) המתפקד כממשק לרכיבים ב-JavaScript המהודר. בתהליך ההידור מוסרים גופי כל הפונקציות והשיטות ונשמרות רק החתימות של הטיפוסים שייוצאו. לאחר מכן ניתן להשתמש בקובץ ההצהרה המתקבל לתיאור סוגי ה-TypeScript הווירטואליים המיוצאים של ספריית JavaScript או מודול כאשר מפתח צד-שלישי צורך אותו מקוד TypeScript.

הרעיון של קובצי הצהרה הוא מקביל לקובצי "Header" הקיים ב-C או ++C.declare namespace arithmetics {
    add(left: number, right: number): number;
    subtract(left: number, right: number): number;
    multiply(left: number, right: number): number;
    divide(left: number, right: number): number;
}ניתן לכתוב קובצי הצהרת טיפוסים באופן ידני עבור ספריות JavaScript קיימות, כפי שנעשה עבור jQuery ו-Node.js.

מבחר גדול של קובצי הצהרה עבור ספריות JavaScript פופולריות זמין ב-GitHub בפרויקט DefinitelyTyped.

קישורים חיצוניים 

 
 קוד המקור של TypeScript, באתר GitHub

הערות שוליים 

שפות תכנות מונחות עצמים
ארצות הברית: המצאות
JavaScript
תוכנה מבית מיקרוסופט