# Type-Traits (Correctness and Optimization)

In this lesson, we'll study type-traits correctness and their optimization using a gcd (greatest common divisor) algorithm along with fill and equal (type-trait features).

## Correctness

The reason we use type-traits is correctness and optimization. Let’s start with correctness. The idea is to implement generic gcd algorithms, step by step, to make it more type-safe with the help of the type-traits library.

Get hands-on with 1000+ tech skills courses.