待验证50% 置信事实精确时间
Pragtical 是一款以 Lua 脚本为核心扩展机制的轻量级文本编辑器。
1
来源数
50%
置信度
长期有效
时效性
2026/10/25
首次发现
来源
涉及实体
相关事实
待验证Pragtical 的核心用 C 编写，UI 与扩展逻辑大量交给 Lua，形成“小内核 + 脚本层”的架构。68% 相似待验证Serena的语义编辑使用的底层技术包括tree-sitter（一个增量解析框架，支持数十种编程语言的快速AST构建）和LSP提供的语义分析能力58% 相似待验证作者建议务实做法是分层使用：用Emacs处理深度写作，用轻量工具处理移动端速记，通过Markdown或纯文本作为交换格式降低耦合57% 相似待验证Shiki 通过复用 VS Code 内置的语法引擎（Oniguruma 正则库）实现与编辑器一致的高亮效果55% 相似待验证叙事文档（PRD、设计文档、愿景）容易与实际代码脱节，产生语义漂移（Semantic Drift）54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1095413API
curl https://kongchang.com/api/v1/knowledge/claims/1095413MCP
get_claim(id=1095413)