Quantifiers, metaprogramming and concepts -- Nikos Athanasiou
Quantification expresses the extent to which a predicate is true over a set of elements. This installment describes the use of predicate logic in metaprogramming.
Quantifiers, metaprogramming and concepts
by Nikos Athanasiou
From the article:
Metaprograms often use predicate logic in creative ways. For example, type queries in generic code are used to constrain, dispatch, specialize, activate or deactivate code at compile time.

ACCU’s Overload journal of December 2016 is out. It contains the following C++ related articles.