On Vox: Объясните, а?

[migmit]

Вот есть хаскельный код (пример упрощён до предела):

data P a = P a (forall b. b -> P (a, b))

Нормально компилится, если указать прагму LANGUAGE RankNTypes в GHC или ключик -98 в Hugs-е.
Можно написать несколько "генераторов" для такого P:

sameValue :: a -> P a
sameValue x = P x (\y -> sameValue (x, y))

firstRest :: a -> a -> P a
firstRest x y = P x (\z -> sameValue (y, z))

switching :: a -> a -> P a
switching x y = P x (\z -> switching (y, z) (x, z))

Как сделать это на C++???
Я попробовал, моего плюс-фу не хватило. Светилы, если вы есть, можете подсказать?
Хочется что-то вроде этого:

#include <map>
template <class A> class P {
  A car;
  template <class B> virtual P<std::pair<A,B> > cdr (B) = 0;
};

Не заработает, ибо template и virtual вместе не живут. Убрать virtual нельзя - класс определяется как абстрактный, реализация функции cdr будет разной (см. выше), но эту разницу надо скрыть "под капотом", указывая везде базовый класс.
Как?

Originally posted on migmit.vox.com

Comments

[migmit.vox.com (from livejournal.com)]

Про P.S. Делает-то он понятно что. Если у нас есть значение типа P Int, это значит, что
а) у нас есть значение типа Int.
б) для любого другого типа b и значения типа b есть значение типа (Int, b) - скажем, если есть строка, то есть и значение типа (Int, String)
в) для любых ДВУХ типов b и c и значений этих типов есть значение типа ((Int, b), c) - скажем, ((Int, String), Float).
... до бесконечности.
Пример, как я и сказал, упрощённый, поэтому более-менее ясно, каковы будут эти значения - но сие не имеет отношения к делу.