问带有C++的高级类型

EN

这个问题是针对那些熟悉Haskell (或任何其他支持高级类型的函数语言)和C++的人.

是否可以使用C++模板来建模更高类型的类型？如果是，那怎么做？

编辑:

来自托尼·莫里斯的这演示文稿：

高阶多态性:

• 像Java和C#这样的语言具有一级多态，因为它们允许我们抽象类型。例如，List<A>可以有一个在任何元素类型( A)上工作的reverse函数。
• 更实用的编程语言和类型系统也允许我们抽象类型构造函数。
• 这个特性被称为高阶(或高级)多态.

示例:

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