Method of compilation union types of TypeScript into Common Intermediate Language of .NET platform

Abstract

This article proposes a method to efficiently compile union-type variables into the CIL intermediate language of the .NET platform. The considered method is based on the idea of ​​changing the intermediate representation of the program by converting the declaration of the variable of the union type into the declaration of the variable of the generalized TSUntion class, which stores information about the possible types of the variable, as well as its value. The generation of CIL instructions takes place already for the converted program, taking into account the features of the introduced class. The result of the proposed method is the generated code, which shows a performance better than the result of the compiler of the F# language into the CIL intermediate language