Я смотрел на определение экзистенциальных типов на википедии (экзистенциальная_types), и в некотором смысле оно похоже на концепции в C ++ (особенно для концепций Lite). < /p>
Являются ли концепции C ++, что между различными типами?
Подробнее здесь: https://stackoverflow.com/questions/229 ... ntial-type
