Unverified50% confidenceFactExact time
GF（Grammatical Framework）由 Aarne Ranta 主导开发，基于 Martin-Löf 类型论，将抽象语法与具体语法严格分离，天然支持多语言语义对等转换
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
Unverified规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统，并在BDD中通过Gherkin语言的Feature文件得到工程化落地62% similarUnverifiedRyan Lopopolo将大语言模型比作模糊编译器，认为代码只是上下文规范的编译产物60% similarUnverified一种可行的混合架构是用大模型处理自然语言模糊性并转化为结构化中间表示，再交由手工规则系统进行确定性的程序化执行60% similarUnverified狐表采用的脚本语言基于VB.NET语法，但做了大量简化和封装60% similarUnverifiedThe Devon document format used in OpenSpec is a structured requirement description format similar to Gherkin syntax (Given-When-Then pattern) in Behavior-Driven Development.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/565364API
curl https://kongchang.com/api/v1/knowledge/claims/565364MCP
get_claim(id=565364)