@@ -15,6 +15,7 @@
 #include <cstring>
 #include <algorithm>
 #include <vector>
+#include <typeinfo>
 
 using namespace std;
 
@@ -92,6 +93,19 @@ void sort_03()
 	}
 }
 
+/// https://en.cppreference.com/w/cpp/language/reference
+int& a_ref(int &a) { return a; }
+
+void types_03()
+{
+	int a = 0;
+	assert(typeid(int) == typeid(a));
+	assert(typeid(int).name() == string("i"));
+
+	a_ref(a) = 2;
+	assert(a == 2);
+}
+
 /// @}
 
 int main(void)
@@ -101,6 +115,8 @@ int main(void)
 	init_03();
 
 	sort_03();
+
+	types_03();
 }
 
 /// @}
@@ -336,6 +336,24 @@ void dynamic_memory_11()
 #endif
 /// @endcond
 
+void types_11()
+{
+	static_assert(__cpp_decltype);
+
+	int a;
+	decltype(a) b;
+
+	static_assert(is_same<decltype(a), decltype(b)>::value);
+	static_assert(!is_same<decltype(a), unsigned>::value);
+	static_assert(is_same<int, int32_t>::value);
+	static_assert(is_same<signed, int32_t>::value);
+
+	static_assert(is_integral<int>::value);
+	static_assert(is_integral<bool>::value);
+	static_assert(!is_integral<float>::value);
+	static_assert(is_pointer<int*>::value);
+
+}
 /// @}
 
 int main(void)
@@ -350,6 +368,8 @@ int main(void)
 	sort_11();
 	dynamic_memory_11();
 	static_assert(constexpr_factorial(4));
+
+	types_11();
 	return 0;
 }
 /// @}
 
@@ -156,6 +156,21 @@ void sort_14()
 		 );
 }
 
+void types_14()
+{
+	static_assert(is_null_pointer< decltype(nullptr) >::value);
+	static_assert(is_null_pointer< nullptr_t >::value);
+	static_assert(__cpp_decltype);
+	static_assert(is_integral<int>());
+
+	// https://en.cppreference.com/w/cpp/language/auto
+	int a = 0;
+	decltype(auto) a_copy = a;
+	assert(&a_copy != &a);
+	decltype(auto) a_ref = (a);
+	assert(&a_ref == &a);
+
+}
 /// @}
 
 int main(void)
@@ -169,6 +184,7 @@ int main(void)
 	implicit_return_type();
 	dynamic_memory_14();
 	sort_14();
+	types_14();
 
 	return 0;
 }
 
@@ -27,6 +27,7 @@ static_assert(__cplusplus == 201703);
 #include <iostream>
 #include <vector>
 #include <memory>
+#include <functional> //11
 
 using namespace std;
 
@@ -453,6 +454,25 @@ void string_view_demo()
 
 /// @}
 
+void types_17()
+{
+	static_assert(is_integral_v<int>);
+	static_assert(__cpp_hex_float);
+	double hex_double = 0x1.2p3; // https://en.cppreference.com/w/cpp/language/floating_literal
+	assert(hex_double == 9.0);
+
+	static_assert(is_invocable<decltype(types_17)>::value);
+	static_assert(is_invocable<int()>::value);
+	static_assert(is_invocable_r<int, int()>::value);
+	static_assert(is_invocable_r<void, void(int), int>::value);
+
+	auto inc = [](int a) -> int { return a + 1; };
+	static_assert(is_invocable_r<int, decltype(inc), int>::value);
+	static_assert(__cpp_lib_invoke);
+	// https://en.cppreference.com/w/cpp/utility/functional/invoke
+	assert(invoke(inc, 2) == 3);
+}
+
 int main()
 {
 	folding_demo();
@@ -462,9 +482,7 @@ int main()
 	dynamic_memory_17();
 	string_view_demo();
 	// for (auto&& [first,second] : mymap) { }
-	static_assert(__cpp_hex_float);
-	double hex_double = 0x1.2p3; // https://en.cppreference.com/w/cpp/language/floating_literal
-	assert(hex_double == 9.0);
+	types_17();
 }
 
 /// @}