What is Julia's escape analysis and how does it reduce allocations?

Escape analysis determines whether objects can be stack-allocated instead of heap-allocated.

If the compiler determines that an object does not 'escape' a function scope, it can allocate it on the stack instead of the heap. This reduces garbage collection pressure and improves cache performance. Julia uses escape analysis combined with type inference to eliminate unnecessary allocations in performance-critical code.