Orthologic 类型系统主张保留并交否定但不要分配律
burny_tech · x · 2026-07-23
一篇关于 Orthologic Type Systems 的论文主张：类型系统应保留并集、交集、否定、变型与显式子类型假设，但不要引入分配律。
作者认为，A × (B + C) 不应与 (A × B) + (A × C) 视为同一类型；它们虽然可能同构，但分配律会把“外延等价”和“表示身份”混为一谈。
「研究」频道最新
- 自动编码器把数据压到潜空间,靠重构误差识别异常 — burny_tech · 2026-07-23
- OpenAI 事件与新论文都在说明：AI 监控器仍会漏掉隐藏破坏 — TheTuringPost · 2026-07-23
- 15 篇 AI 工程师必读经典论文，覆盖 Transformer 到 RLHF — kalyan_kpl · 2026-07-23
- 跨编辑追踪源 ID，溯源可变成可证伪命题 — tallmetommy · 2026-07-23
- 30 道 PyTorch 题覆盖推理系统、量化与 KV cache — kalyan_kpl · 2026-07-23
- NeurIPS 设儿童安全工作坊，聚焦隐私与合成内容风险 — chhaviyadav_ · 2026-07-23