As I wrote elsewhere, garbage collection—manual memory management correspond to intuitionistic logic—linear logic. So garbage collection is a technology with logical implications.
There are further technologies (compiler algorithms) behind perennialisation
—linear logic admits exponentials, and indeed languages such as C have
perennially typed values (for instance, of type int
) which are
stack-allocated or placed in registers.
Liveness Analysis—Register Allocation
Liveness analysis, spilling are technologies behind the "finger of Thomism" that
lets register-bound and stack-allocated values be perennial—a C value of type
int
can be reused freely.
Conclusion
Type theoretic decisions require backing in the compiler.
The complexity of such algorithms matters; if liveness analysis were \(O(2^n)\), perennial types would hardly be viable.