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 compares large language models to fuzzy compilers, arguing that code is merely a compiled artifact of context specifications.60% similarUnverifiedOne viable hybrid architecture is to use a large model to handle natural language ambiguity and convert it into a structured intermediate representation, which is then handed off to a handcrafted rule system for deterministic procedural execution.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)