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

组合范畴语法（CCG）的核心优势在于语法与语义的同构性，每个词条在携带句法类型的同时也携带对应的语义函数

1

来源数

50%

置信度

长期有效

时效性

2026/7/20

首次发现

来源

重返SHRDLU：程序化语义的技术脉络与现代价值

相关事实

待验证CFG 约束可以描述括号匹配、嵌套结构等编程语言语法，但相比正则约束其编译和推理成本会有所上升73% 相似待验证DSL因语法规则严格、领域语义明确，成为大语言模型生成代码质量最高的场景之一69% 相似待验证代码的语义更多体现在结构关系而非字面文本，一个函数改动的影响范围必须沿调用图遍历而非仅靠语义相似度捕获67% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/565365

API

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

MCP

get_claim(id=565365)