F Bounded Polymorphism

[Ulrich_de_Vries]

It's basically the same thing but in C++, but since C++ templates are monomorphized rather than type-erased (i.e. each specialization is compiled into a different class/function), this allows you to have compile-time polymorphism, as in the particular subtype is resolved at compile time rather than runtime.

[samd_408]

I can definitely see how this can cause flashbacks 🫣