type-systems - 消除高阶类型与高阶类型的歧义

Question

在上一个问题中，我问了 Why can the Monad interface not be declared in Java? .在那里，我收到了 Brian Goetz 的评论，说我应该将“高阶类型”称为“高阶类型”。

现在，我阅读了更多关于类型系统的内容，并且了解了更高级类型的概念。但是，我仍然对这些术语感到困惑。我试图自己使用谷歌消除它们的歧义，但似乎没有明确的答案。因此，我的问题是以下术语的确切含义是什么:

高阶型

高等类型

高阶类

这三个词都存在吗？它们之间有区别吗？有什么不同？编程语言之间的含义是否有所不同？

我还注意到 StackOverflow 有多个标签:

higher-order-types

higher-kinded-types

但是，它们都没有标签 wiki。

Answer 1

关注 this博客文章中，术语高阶类型似乎是高级类型和高级类型的通用术语。高阶种类可能是我在困惑时刚刚编造的一个术语。

高等类型

对于更高级的类型，可以接收一个本身是泛型类型的类型参数:

interface Foo<T<_>> {
    T<String> get();
}

这是声明 Monad 所必需的。界面。

高阶类型

对于更高等级的类型，可能会收到类型仍包含未指定类型参数的参数:

interface Bar {
    void foobar(<E> List<E> list);
}

不幸的是，更高等级的类型检查/推理是不可判定的。