loại cao-kinded với C++

Question

Câu hỏi này là dành cho những người biết cả hai Haskell (hoặc bất kỳ ngôn ngữ chức năng khác hỗ trợ các loại cao-kinded) và C++ ...

Có thể mô hình các loại kinded cao sử dụng Mẫu C++? Nếu có, thì làm thế nào?

EDIT:

Từ this trình bày bởi Tony Morris:

cao hơn bậc Polymorphism:

• Ngôn ngữ như Java và C# có bậc nhất polymorphism vì họ cho phép chúng tôi tóm tắt về các loại. ví dụ. List<A> có thể có chức năng reverse hoạt động trên bất kỳ loại phần tử nào (số A).

• Ngôn ngữ lập trình thực tế khác và loại hệ thống cho phép chúng tôi tóm tắt về các nhà xây dựng kiểu như .

• Tính năng này được gọi là đa hình cao cấp hơn (hoặc cao cấp) đa hình.

Ví dụ:

Pseudo-Java với một ký hiệu được phát minh cho bậc cao đa hình

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

Thông số mẫu-mẫu?

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