类型检查在“类型”本身也是一种类型时是不可判定的 (1989) [pdf] (dspace.mit.edu) 10 分，zem 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 Animats 12 分钟前 | 下一个 [–] 这听起来很接近罗素的“所有类的类”悖论。是这样吗？回复 cwmoore 10 分钟前 | 上一个 [–] 类似于在Indeed上找到标题搜索公司遇到的困难。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索：