[C++,ADT] Можно ли считать boost::fusion::vector<Type0,...> алгебраическим типом данных?

Это кортеж.

Что-то у меня в голову не укладывается пока, что такое ADT... Вроде, и описания есть в интернетах — а не понимаю.

А какой ближайший аналог алгебраического типа можно найти в том же C++?

см. «9 Алгебраический (индуктивный) тип данных (Algebraic (inductive) datatype)» вот тут. Есть примеры имитации на Си.

Алгебраические типы данных образуются из существующих в языке объединением и декартовым произведением. Первое в С++ имитируется boost::variant или наследованием (union в некоторых случаях), второе - любым кортежем или структурой.

> в С++ имитируется...

Т.е. полного подобия нет?

АлгТД это просто класс с замкнутым списком наследников и открытым списком виртуальных функций.

На говнояве (которую пытается юзать http://fprog.ru/2009/issue3/eugene-kirpichov-elements-of-functional-languages/ ) такого не сделать, на плюсах, похоже, можно.

Достаточно ограничить наследование [23.11] How can I set up my class so it won't be inherited from? и реализовать открытый список виртуальных функций через визитор.

Собственно я все порываюсь написать такой шаблончик, да лень. Может возьмешься?

«не сделать» не совсем точно

final class в яве конечно есть, но дженерики это не шаблоны

и еще — в практическом программировании имхо лучше не выпендриваться с визитором, а модифицировать код для добавления виртуальных функций

> Может возьмешься?

Попробовать можно. Только вот сам разберусь от и до с этим ADT...

Т.е. полного подобия нет?

Полное подобие есть. Корректнее было бы сказать «реализуется».

АлгТД это просто класс с замкнутым списком наследников и открытым списком виртуальных функций.

Виртуальные функции тут ни при чём. Сопоставление с образцом - просто вариант переключателя (switch), который удобно использовать с АТД.

и еще — в практическом программировании имхо лучше не выпендриваться с визитором, а модифицировать код для добавления виртуальных функций

Это зачастую нарушает модульность программы. Хотя конечно визиторы довольно неудобная вещь.

final class в яве конечно есть, но дженерики это не шаблоны

При чём тут дженерики и шаблоны?