Простые алгебраические типы данных

[encyclopedist]

Далее, суммы типов, кодирующие наличие или отсутствие значения, реализуются в C++ при помощи различных трюков с «невозможными» значениями, такими как пустые строки, отрицательные числа, нулевые указатели и т. д.

— Скоро это изменится, см. std::experimental::optional. См также std::experimental::any и

В union нельзя поместить даже std::string, потому что у этого класса есть конструктор копирования.

— можно. Надо только будет вручную вызвать placement new перед использованием.

[cblp]

any совсем не то. Сумме в С++ соответствует boost::variant (аналога в std пока не предвидится).

[encyclopedist]

Предвидится — The Variant Saga: A happy ending? (там о том, что на последнем собрании комитета в октябре таки договорились о Варианте, который бы устраивал почти всех).
(собственно, это должно было быть после союза «и» в моём комментарии, но потерялось)

[Bodigrim]

Мопед не мой, я только перевожу, причем начиная с пятой статьи. До этого переводы готовил Monnoroch.
Пришлите почту личным сообщением, я отправлю пятую и шестую статьи в LaTeX.

[Monnoroch]

Я не против, если вы оформите и мои переводы тоже в латехе на гитхабе.

[Lex20]

Со-произведения звучит лучше чем копро-изведения