Code generation and execution for dynamic programming languages

A device comprising:

• one or more processors to:
• receive programming code, corresponding to a dynamic programming language, that is to be executed by a computing environment, and
• execute the received programming code,
• when executing the received programming code, the one or more processors are to:
• maintain a program counter,
• a value of the program counter identifying an execution location within the received programming code,
• select blocks of the received programming code based on the value of the program counter,
• the blocks corresponding to segments of the received programming code, and
• the blocks being associated with one or more type-based constraints that relate to types of variables that are used by the blocks,
• compile the selected blocks,
• cache the compiled blocks along with the one or more type-based constraints,
• the cached compiled blocks being reused, without recompiling the cached compiled blocks, when the one or more type-based constraints of the cached compiled blocks are satisfied,
• generate linking information between certain ones of the compiled blocks based on the one or more type-based constraints,
• the linking information relating to an indication that the certain ones of the compiled blocks will execute in an order indicated by the linking information, and
• execute the compiled blocks in an order based on one or more of the program counter, the one or more type-based constraints, or the linking information.

One or more non-transitory computer-readable media storing instructions, the instructions comprising:

• one or more instructions that, when executed by a processor of a device, cause the processor to:
• receive programming code, corresponding to a dynamic programming language, that is to be executed in a computing environment, and
• execute the received programming code,
• the one or more instructions to execute the received programming code including:
• one or more instructions to:
• maintain a program counter,
• a value of the program counter identifying an execution location within the received programming code,
• select blocks of the received programming code based on the value of the program counter,
• the blocks corresponding to segments of the received programming code, and
• the blocks being associated with one or more type-based constraints that relate to types of variables that are used by the blocks, compile the selected blocks,
• cache the compiled blocks along with the one or more type-based constraints,
• the cached compiled blocks being reused, without recompiling the cached compiled blocks, when the one or more type-based constraints of the cached compiled blocks are satisfied,
• generate linking information between certain ones of the compiled blocks based on the one or more type-based constraints,
• the linking information relating to an indication that the certain ones of the compiled blocks will execute in an order indicated by the linking information, and
• execute the compiled blocks in an order based on one or more of the program counter, the one or more type-based constraints, or the linking information.