Archived tweet #10673 from the @leastfixedpoint Twitter Archive

@smarr @larsschuetze IIRC Typed Racket's Occurrence Typing (which is a kind of dependency) unlocks the compiler's existing type-driven optimizations. Not cache-like, just type-driven specialization, I think.