Type Erasure and Reification at Runtime

Understand which type facts survive compilation and how explicit runtime evidence makes untrusted boundaries safe.

2026-04-10 · 13 min read