Record type inference for dummies
Summary
An approachable exploration of type inference for anonymous records, this post blends theory and practical Haskell-like code to show how record literals, field access, and variables are inferred. It introduces core concepts like row polymorphism and outlines concrete inference rules, illustrating them with concrete examples and GHCi-style evaluations.