探讨函数式编程与CRDT统一语义：域理论编程与半格同态
jessi_cata · x · 2026-08-14
一条技术讨论：设想一种函数式编程语言，将Haskell式的域理论编程与CRDT式的半格和同态统一在一种语义中。对于半格，我们得到乘积ADT但没有余积ADT。回复中进一步解释：Scott域不一定是半格，为了将半格同态推广到Scott域，使用“保留存在的有限并”的线性Scott连续映射，并可通过线性逻辑构造恢复更一般的Scott连续映射。
「研究」频道最新
- UIUC 推出 LLMRouter：大模型路由统一基础设施与基准 — UIUC-CS · 2026-08-14
- 上海AI Lab发布H2R-Bench：评估人机转换视频生成 — Shanghai-AI-Laboratory · 2026-08-14
- 阿里发布 DreamX-Phi 1.0：面向机器人操作的视频世界模型 — alibabagroup · 2026-08-14
- 字节等提出 DLA：动态线性注意力破解长上下文成本瓶颈 — burkov · 2026-08-14
- Vista4D：基于4D点云的视频重拍框架，获CVPR 2026 Highlight — rsasaki0109 · 2026-08-14
- SIGCHI宣布2026年巴黎未来峰会，聚焦长期发展 — plopesresearch · 2026-08-14