Tag
annotations
- Aug 19, 2026 Bidirectional Type Checking and Where Annotations Flow Why checking a term against a known type is easier than inferring one, how the two judgments hand off to each other, and where the annotation burden returns. programming languages
- Apr 23, 2026 Runtime Reflection: Metadata Layout and Dispatch Cost What a class descriptor actually contains, why reflective invocation cannot be inlined, and how annotation lookup and dynamic proxies turn a static call into a table walk. programming languages