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

You must sign in or register to add a comment.

Comments (0)

There are currently no comments on this entry.