待验证50% 置信事实精确时间
Nix语言是一种专门为包管理和系统配置设计的纯函数式领域特定语言（DSL），采用惰性求值，支持函数、属性集和派生（derivation）等概念。
1
来源数
50%
置信度
长期有效
时效性
2026/10/20
首次发现
来源
涉及实体
相关事实
待验证领域驱动设计（DDD）提出'统一语言'概念，主张代码中的命名应与业务领域的术语保持一致64% 相似待验证Martin Fowler 在其著作《领域专用语言》中将 DSL 定义为针对特定领域的有限表达性编程语言，并提出四个核心特征63% 相似待验证LLM是强大的语言理解与生成工具，但不应被默认当作确定性的计算与执行系统62% 相似待验证大多数DSL属于上下文无关语言，可被下推自动机识别，上下文无关文法存在多项式时间的解析算法如Earley算法、CYK算法62% 相似待验证TileLang可以理解为一种面向AI计算的领域专用语言（DSL）或编译器中间层，作用类似于LLVM在通用编译器领域的角色61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1075913API
curl https://kongchang.com/api/v1/knowledge/claims/1075913MCP
get_claim(id=1075913)