The Curiously Recurring Pattern of Coupled Types

Explore the concept of affine spaces and their applications in programming through this insightful conference talk. Delve into the mathematical foundations of curiously coupled data types commonly found in programs, including raw C pointers, STL iterators, std::chrono types, and geometric primitives. Learn how affine spaces guide stronger design, improve program semantics, enhance type safety, and enable compile-time enforcement of these semantics. Discover motivational examples and gain practical guidelines for creating your own affine types, applicable to various strongly typed programming languages. Examine how affine space types shape expressive APIs and understand their impact on program design through real-world examples.