Because of the work, it is necessary to implement a compiler compiled to a certain vectorized statically typed IR on the old scheme. The compilation process needs to support the on-demand parameterized polymorphic. For example, the+function needs to be instantiated as a support vector+constant on demand