Tag
trees
Coding
Generic Return Type Inference: Match, Bind, Substitute
Infer concrete return types from nested tuples and generic parameters, with immutable type trees, Java and Python solutions, and runnable tests.
Coding
Build a Memory Allocator: First-Fit, Best-Fit, and Coalescing
Track free intervals by address and size, merge on free, and implement both allocation policies in Java and Python.