與C++

Question

這個問題更kinded類型是誰知道這兩個哈斯克爾（或支持更高kinded類型的任何其他函數式語言）和C++的人...

是否可以使用較高kinded類型的建模C++模板？如果是，那麼如何？

編輯：

從this呈現由託尼·莫里斯：

高階多態性：

• 語言如Java和C＃有 一級多態性，因爲他們 允許我們抽象類型。例如 List<A>可以有一個reverse功能 可以在任何元素類型（ A）上工作。

• 更實際的編程語言 和類型系統允許我們 抽象的類型構造爲 好。

• 此功能被稱爲高階 （或更高主觀）多態性。

例子：

僞的Java與高階多態性

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 <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); 
    } 
};