1. A computer-implemented method, comprising: obtaining a type, the type associated with a value of an expression used in a first program code hosted by a host application; inferring a type for a value of an expression used in a second program code based on a type for the value of an expression used in the first program code, the value of the expression used in the second program code not associated with a type, the first program code differs from the second program code, the second program code hosted by the host application; and compiling the second program code into compiled code.