C++ 20's concepts are typeclasses and make object-based polymorphism obsolete - shockingly!

[atravers]

@jhenahan

Periodically I peer in on the C++ communities and marvel at some of the really cool things they’ve invented in order to avoid learning FP (joke).

When FP just pass all the functions and data required for specialization of generic algorithm, OOP provides interfaces, virtual functions, anonymous classes, delegates and lots of other interesting ways to hide the fact of lack of first-class functions :)

Bulat Ziganshin.

---

@rubenmoor

The feature called concepts of the new C++ standard, which really is the same as type-classes in Haskell […]

• What extra advantages do concepts provide over plain ol’ function procedure overloading?

• Or will that feature be (eventually) subsumed by the concept system?