值、类型、种类和…？

Question

我们都知道什么是价值。类型是值的类型。一种是(松散的)一种类型。类型构造值；类型构造类型。那么，什么是一种类型，一种构造种类的东西呢？

有这样的事吗？有名字吗？有用吗？

Answer 1

根据维基百科的基本条目的说法，“一种类型是类型构造函数的类型，通常是高阶类型操作符的类型”。所以我理解，这意味着一种类型是一种，而且它一直是向下的(这是有意义的，否则我们需要无限多的名字，每个元类型(I)一个)。

在同一参考资料中：

"(* => *) => *是一种从一元类型构造函数到适当类型的高阶类型运算符。即使在编程语言理论中，也很少遇到这种情况，但关于应用程序，请参阅皮尔斯(2002)，第32章。“

似乎表明它的用处有限，但并非零。

不是一个很好的答案，但希望它能阻止“不是一个真正的问题”的密切投票，直到有人，比如说，实现了Haskell编译器，并且真正知道他在说什么……

Answer 2

在Haskell，我们称之为“类型”的种类，虽然我不知道其他语言的命名。