实测：当前大模型在依赖类型语言的类型设计上表现极差
hargup13 · x · 2026-10-26
开发者 hargup13 实测后吐槽：当前大模型在依赖类型语言（如 dependent type 语言）中的类型设计（type design）上不是一般的差，而是「糟糕透顶」。
这条短评指向一个较少被讨论的短板：模型在写具体代码时尚可，但涉及依赖类型语言所需的类型级设计与抽象时能力明显不足，对函数式/证明辅助领域的用户是个值得注意的信号。
「编程与Agent」频道最新
- Compound 用 Rust 重写 Excel/PPT/Word 引擎,替代 LibreOffice 服务 agent — peterjliu · 2026-10-26
- 开发者 vibecode 出一套本地 AI 工具:LoRA 训练器、打标器、图像对决 — Speedyrulz · 2026-10-26
- Thorsten Ball 发布 Agent 工作法长文:只用最新最强模型 — vivekhaldar · 2026-10-26
- 一文讲清 MCP 协议:JSON-RPC 架构与三类服务器能力 — robertonappe · 2026-10-26
- Seeed 发布全开源机械臂 reBot-DevArm：6 自由度、重复精度低于 0.2mm — lukas_m_ziegler · 2026-10-26
- 开发者预测：个人 Agent 将取代操作系统，按需生成 UI — evielync · 2026-10-26