i.e. dynamically typed languages are often implement in interpretation, because the overhead of type checking is not the bottleneck

i.e. dynamically typed languages are often implement in interpretation, because the overhead of type checking is not the bottleneck.

• When does the binding take place?

(How does one associate memory locations to variables? )

• Allocation - getting a cell from some pool of available cells.
• i.e. the process of binding a variable to a memory cell that is taken from a pool of available memory.
• Deallocation - putting a cell back into the pool.
• I.e. the process of unbinding a variable and placing its memory cell back in the pool of available memory.