1 属于头等公民 来自C ++背景，我不明白为什么一个人需要作为一等公民的类型/类型表达式？我知道支持该功能的唯一语言是Aldor。 是否有人拥有有关头等公民的类型的文献或知道其有用性的一些原因？ 10 programming-languages language-design types