Expressions can have Reference Type

I haven't had the time to further investigate the fraction between type and value category. For now, I'll just leave here a couple of references (no pun intended): Expressions can have reference type C++11, type of variable in expression? Corresponding discussion on /r/cpp I guess the key to…

What is a type?

A type is essentially a set of values I cannot comment on the accuracy of such a definition, but lately it seems a recurring way of referring to types. Specifically, I found this definition in both the Bartosz's course on type category and principles of functional programming by Martin Odersky.…

Boost.FunctionType

Recently, I had to use Boost.FunctionType as a companion library of Boost.TTI Specifically, I needed to check for the presence of a const-qualified id() member function (returning a std::size_t). Due to the const-qualification, the plain solution: using has_id_type = typename detail::has_member_function_id&…

Types as keys

(As usual) @kerrek-sb has the answer you want.…