{"type":"link","version":"1.0","title":"文章从罗素悖论和库里 -… · Demystifying Type (and some… | HotDaily","description":"文章从罗素悖论和库里 - 霍华德对应出发，指出类型系统多是补偿性机制。作者认为类型本质上等同于关系成员，类型与值的区分源于编译期与运行期的可计算性差异…","url":"https://hotdaily.top/item/0b3a0d1c-8643-41dc-8636-7f888fcbd01e","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}