Record type inference for dummies
Summary
A technical post introducing record type inference for anonymous records in statically typed languages. It explains anonymous records, static typing, typing rules, and introduces row polymorphism and record extension, with Haskell-like pseudocode and a complete Appendix with a Haskell implementation. The piece aims to bridge theory and practice for readers new to type inference.