Higher-kinded Typen mit C++

Question

Diese Frage ist für die Menschen, die sowohl Haskell kennen (oder eine beliebige andere funktionale Sprache, die Höher kinded Typen unterstützt) und C++ ...

Ist es möglich, zu modellieren höher kinded Typen mit C++ Vorlagen? Wenn ja, wie?

EDIT:

Von this Präsentation von Tony Morris:

Höherwertige Polymorphism:

• Sprachen wie Java und C# erster Ordnung Polymorphismus weil sie erlauben uns, auf Typen zu abstrahieren. z.B. List<A> kann eine reverse Funktion haben, die auf jedem Elementtyp funktioniert ( A).

• Praktischere Programmiersprachen und Typ-Systeme ermöglichen es uns, abstrakt auf Typkonstruktoren als gut.

• Diese Funktion wird als höherer Ordnung (oder höherer Ordnung) Polymorphismus höherer Ordnung bezeichnet.

Beispiel:

Pseudo-Java mit einer erfundenen Notation für höhere Ordnung Polymorphismus

interface Transformer<X, Y> { 
    Y transform(X x); 
} 

interface Monad<M> { // M :: * -> * 
    <A> M<A> pure(A a); 
    <A, B> M<B> bind(Transformer<A, M<B>> t, M<A> a); 
} 

Answer 1

Template-Template-Parameter?

template <template <typename> class m> 
struct Monad { 
    template <typename a> 
    static m<a> mreturn(const a&); 

    template <typename a, typename b> 
    static m<b> mbind(const m<a>&, m<b>(*)(const a&)); 
}; 

template <typename a> 
struct Maybe { 
    bool isNothing; 
    a value; 
}; 

template <> 
struct Monad<Maybe> { 
    template <typename a> 
    static Maybe<a> mreturn(const a& v) { 
     Maybe<a> x; 
     x.isNothing = false; 
     x.value = v; 
     return x; 
    } 

    template <typename a, typename b> 
    static Maybe<b> mbind(const Maybe<a>& action, Maybe<b>(*function)(const a&)) { 
     if (action.isNothing) 
      return action; 
     else 
      return function(action.value); 
    } 
}; 

Answer 2

ist nicht in der Regel eine normale Vorlage bereits ein höherer kinded Typ? Zum Beispiel std::vector nimmt einen Typparameter, um einen tatsächlichen Typ wie std::vector<int> zu erstellen, so hat es Art * -> *.