?构造逻辑
类型系统并不对应经典逻辑, 而是对应一种称为“constructive logic(构造逻辑)”. 这个范式切换是这样:我们从思考一个事物是否是真, 切换到我们是否能够证明它们,更重要的是,我们不再考虑是否存在等量化词...
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。