Concepts: Typeclasses for C++?

I’ve had a hypothesis for a while that C++ templates (paired at times with ADL) are an ad-hoc, unsound version of typeclasses. I’ve seen this hold for parser combinators, range base algorithms, and more. I’m also not the first to draw this comparison[1]. Concepts are supposed to bring soundness in through constrained templates. Concepts look awfully […]

CLOS circa 1987, Dynamic Dispatch in C++/C#

As reported by programming musings, http://www.archive.org/details/DanielGB1987 Common Lisp Object Standard presentation, by Daniel G Bobrow. Some reflections: Fast Multiple Dispatch "[for dynamic method resolution] A cache of 1000 entries is hit 98% of the time".  Assuming this is accurate, it explains how you could get by with the cached virtual dispatch lookup that the desktop […]