TypeScript 7 מגיעה עם “isolated declarations”, מצב קומפיילר המאפשר ל-monorepos גדולים לקמפל קבצים במקביל ומאיץ את לולאות המשוב למפתחים.

למה isolated declarations חשובות עכשיו

עד לגרסה זו, קומפיילר TypeScript עיבד קבצי הצהרה (.d.ts) בחוט (thread) בודד. בבסיסי קוד המשתרעים על מאות חבילות (packages), שלב זה לרוב עיכב את כל תהליך הבנייה (build pipeline). על ידי חלוקת עבודת בדיקת הטיפוסים (type-checking) בין ליבות שונות, isolated declarations מקצצות משמעותית את זמני הבנייה עבור צוותים המחזיקים את כל הספריות שלהם ברפוזיטורי אחד.

ההשפעה מורגשת באופן מיידי עבור כל ארגון שמריץ תהליכי CI או זקוק לבנייה מחדש מקומית מהירה.

הדרך לבדיקת טיפוסים במקביל

Microsoft הוסיפה קומפילציה אינקרמנטלית (incremental compilation) לפני שנים, אך שלב ההצהרה נותר סדרתי (sequential) מכיוון שקבצים היו תלויים זה בזה. ככל שה-monorepos גדלו, המעבר בחוט בודד הפך לצוואר בקבוק יקר. isolated declarations שוברות את שרשרת התלות, מתייחסות לממשק הציבורי (public surface) של כל קובץ כיחידה עצמאית ומאמתות אותם בו-זמנית.

מי מרוויח, ומי לא

  • צוותי פיתוח עם monorepos גדולים – יראו את הקיצוץ הגדול ביותר בזמני הבנייה, במיוחד בסוכני CI עם מספר ליבות CPU.
  • פרויקטים קטנים או אפליקציות עם חבילה אחת – עשויים להבחין בשיפור קל בלבד, מכיוון ששלב ההצהרה כבר צורך חלק מזערי מזמן הקומפילציה הכולל.
  • צוותים על חומרה מוגבלת – שיפור שולי דומה מאותה סיבה.

ההשקה הרחבה של TypeScript 7

isolated declarations מגיעות עם סט שדרוגים המתמקדים בבטיחות:

  • שיפורי strict mode – בדיקות חדשות כגון strictIndexSignatures מתריעות כאשר קוד ניגש למפתח אובייקט שעשוי להיות חסר.
  • איברי tuple בעלי שם – מפתחים יכולים לתייג מיקומים בתוך tuple, מה שהופך את חתימות ה-API למתעצבות בעצמן (self-documenting).
  • אופרטור satisfies משופר – טיפול טוב יותר ב-generics מורכבים משפר את הסקת הטיפוסים (type inference) מבלי להקריב את הקריאות.
  • הפצת הקשר אסינכרוני (Async context propagation) – תמיכה ב-AsyncContext API מסייעת במעקב אחר מחסניות קריאות (call stacks) אסינכרוניות.
  • מטא-דאטה של Decorator – ההצעה של TC39 מאפשרת לקוד בזמן ריצה לבחון קישוטים (decorations) של מחלקות.
  • הערות variance מפורשות – שימוש ב-+ או - על פרמטרים גנריים מסמן covariance או contravariance, מה שמשפר את דיוק בודק הטיפוסים.

תוספות אלו מחזקות את המוניטין של TypeScript כשפה של “type-first”, אך isolated declarations היא התכונה היחידה שמתמודדת ישירות עם נקודת כאב שגדלה עם גודל בסיס הקוד.

מה לעקוב אחריו בהמשך

שורה תחתונה

isolated declarations מעניקות לצוותים העובדים עם monorepos כבדים בנייה מהירה יותר. עבור ארגונים שמשלמים על דקות CI או סובלים מבנייה מקומית איטית, שדרוג ל-TypeScript 7 הוא מהלך בסיכון נמוך שמתרגם לחיסכון מדיד בזמן ובעלויות. שאר השחרור מוסיף רשתות בטיחות שימושיות, אך מנוע בדיקת הטיפוסים המקבילי הוא תכונת העל שעונה ישירות על אתגר הסקיילביליות (scalability) של פיתוח JavaScript מודרני.