Abstract: A system configured to convert human-readable source code into computer-readable source code is disclosed herein. The system can include a processor and a memory configured to store a compiling engine that, when executed by the processor, causes the processor to: receive an input program comprising human-readable source code, wherein the human-readable source code comprises a complex function, type inference the complex function, thereby inferring a first set of potentially partial and imprecise data types for the input program; transform the type inferenced complex function and type infer again a number of times, type inference the transformed complex function, thereby inferring a full set of precise data types for the type inferenced input program; and generate an output program comprising machine-readable code, wherein the machine-readable code is fully optimized using the full set of precise data types.

Abstract: A system configured to convert human-readable source code into computer-readable source code is disclosed herein. The system can include a processor and a memory configured to store a compiling engine that, when executed by the processor, causes the processor to: receive an input program comprising human-readable source code, wherein the human-readable source code comprises a complex function, type inference the complex function, thereby inferring a first set of potentially partial and imprecise data types for the input program; transform the type inferenced complex function and type infer again a number of times, type inference the transformed complex function, thereby inferring a full set of precise data types for the type inferenced input program; and generate an output program comprising machine-readable code, wherein the machine-readable code is fully optimized using the full set of precise data types.