Quantifiers, metaprogramming and concepts—Nikos Athanasiou

Save to:
Instapaper Pocket Readability

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.

Add a Comment

Comments are closed.

Comments (0)

There are currently no comments on this entry.