Метод компіляції типів об’єднання мови TypeScript у проміжну мову CIL платформи .NET

Abstract

У даній статі запропонований метод, який дозволяє ефективно компілювати змінні типу об’єднання у проміжну мову CIL платформи .NET. Розглянутий метод базується на ідеї зміни проміжного представлення програми шляхом перетворення оголошення змінної типу об’єднання у оголошення змінної узагальненого класу TSUntion, який зберігає інформацію про можливі типі змінної, а також її значення. Генерація CIL інструкцій відбувається вже для перетвореної програми враховуючи особливості введеного класу. Результатом роботи запропонованого способу є згенерований код, який показує швидкодію кращу за результат роботи компілятора мови F# у проміжну мову CIL