C++ and other lectures

Выложил третью лекцию магистерского курса на английском.

https://youtu.be/AMyzI58JkE8

Лекция посвящена строительным блокам обобщённого программирования -- множествам перегрузки. Сначала мы разберёмся с их проектированием а дальше рассмотрим механизм ограничений и concepts и то как отношение subsumes позволяет с помощью вычисления дизъюнктивных нормальных форм строить действительно интерсеные и обобщённые множества перегрузки.

00:00 Raising number to a power
08:36 Overload sets
14:30 Winter's rules and their applications
22:08 Type requirements
31:31 Complex constraints and concepts
38:00 Details of requires expression and concept syntax
49:50 Partial order on concepts and subsuming
01:05:40 Dreams of early concepts, homework and bibliography

#cpp_postgraduate

YouTube

Lecture 3. Overload sets. Master's Course in C++ (MIPT, 2025-2026).

In this lecture, we will introduce the second fundamental element of generic programming -- overload sets. We will explore the principles for designing good overload sets and examine the language support for static polymorphism: simple constraints and concepts.…

🔥81👍16❤15🥰3✍2😱2💩2

www.tgoop.com/cpp_lects_rus/305

4.58K viewsOct 11 at 16:03

Выложил третью лекцию магистерского курса на английском.

https://youtu.be/AMyzI58JkE8

Лекция посвящена строительным блокам обобщённого программирования -- множествам перегрузки. Сначала мы разберёмся с их проектированием а дальше рассмотрим механизм ограничений и concepts и то как отношение subsumes позволяет с помощью вычисления дизъюнктивных нормальных форм строить действительно интерсеные и обобщённые множества перегрузки.

00:00 Raising number to a power
08:36 Overload sets
14:30 Winter's rules and their applications
22:08 Type requirements
31:31 Complex constraints and concepts
38:00 Details of requires expression and concept syntax
49:50 Partial order on concepts and subsuming
01:05:40 Dreams of early concepts, homework and bibliography

#cpp_postgraduate

BY C++ and other lectures