这里有人有很好的例子，其中类型作为一等对象出现吗？
我想直接实现一些数学概念会有所帮助，这确实是我正在寻找的那种例子。
UPD 为了澄清这个问题，如果可以让函数接受类型和返回类型，或者将类型存储在变量中，可以做什么？
我在学习 Aldor ，虽然由于许可证问题，它有点死了。至少在上面的意思中，类型被称为一等的对象。
最佳答案
看看 Agda2、ats-lang.org 和其他具有依赖类型的语言。不完全是你问的，但相关。
关于language-agnostic - 类型作为一等对象有什么好处？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/6806454/