Unlocking Ad-Hoc Template APIs in D with Overload Sets

(Ab)Using Overload Sets to Create Ad-Hoc Template APIs in D

I explore how D's overload sets power generic programming, enabling flexible, dimension-agnostic APIs like the GVec vector system. By treating overload sets as first-class template headers, developers can create ad-hoc interfaces that match compile-time patterns without central definitions. This approach allows users to swap implementations seamlessly, as seen with std.conv.to, turning scattered specializations into a cohesive, extensible coordinate map for meta-programming.

"The API that can be named is not the immortal API."