arxiv.org/abs/2610.32925 On the Expressive Power of Hook-Indexed State Comprehending State in the React UI Library
Researchers formalize React's useState mechanism, which they call hook-indexed state, as a core calculus with a type system meant to rule out unexpected behavior. They translate it into an ML-style references calculus, proving typability and semantics are preserved.
— via arXiv Programming Languages, Toby Ueno, Ezra Cooper, Simon Fowler, Sam Lindley
