待验证50% 置信事实精确时间

类型推导机制最早由ML语言族在1970年代通过Hindley-Milner类型系统系统化

1

来源数

50%

置信度

长期有效

时效性

2026/7/19

首次发现

来源

自愈式Agent循环：用AI自动发现并修复编程语言Bug

相关事实

待验证自然语言编程概念早在1970年代就有学者提出63% 相似待验证程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统62% 相似已验证混合专家模型的理论根源可追溯至1991年Jacobs等人提出的混合专家系统57% 相似待验证WAL 设计源自 IBM 在 1970 年代的 System R 项目，后经 ARIES 算法体系化57% 相似待验证组合范畴语法（CCG）由Mark Steedman在1980-90年代系统发展，理论根基来自Ajdukiewicz和Bar-Hillel的范畴语法传统57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/561664

API

curl https://kongchang.com/api/v1/knowledge/claims/561664

MCP

get_claim(id=561664)