Papers We Love: Flow Typing, A New Lens on Linearity
Summary
This article is a detailed discussion of Flow Typing as a new approach to linearity in type systems, drawing from the paper Flow Typing: A New Lens on Linearity. It explains the threading problem in linear types and how flow typing uses lenses to enable safe, mutable-like updates without extending the core language. The author also documents his experiments implementing the concept in a new language (Laminar) and links to field notes and related resources.