TinyMist 0.12.18版本发布:Typst语法高亮与编辑器功能全面升级
TinyMist是一个专注于Typst文档排版语言的开发工具套件,旨在为Typst开发者提供完善的编辑器支持、代码分析和预览功能。最新发布的0.12.18版本带来了多项重要改进,特别是在语法高亮和编辑器集成方面取得了突破性进展。
Typst语法高亮引擎的重大突破
本次版本最引人注目的特性是全新的Typst语法高亮引擎。经过长时间开发,该引擎已经能够准确解析来自Typst官方仓库的所有代码、标记和数学语法,总计超过120万行代码的测试验证。虽然仍有一些边缘情况需要处理,比如特殊符号组合的识别,但已经达到了生产可用的水平。
语法高亮引擎的核心改进包括:
- 数学模式下的语法解析能力显著增强
- 参数名称标识符的精确识别
- 箭头函数作为二元表达式的正确解析
- 减号和星号标记的可靠处理
这些改进使得开发者在编写Typst文档时能够获得更准确、更丰富的语法高亮体验,大大提升了代码的可读性。
编辑器功能增强
TinyMist 0.12.18版本在编辑器集成方面也做了多项优化:
-
Web支持:现在可以将TinyMist构建为Web应用,无需本地安装即可在浏览器中使用基础功能。
-
悬停信息优化:重新设计了悬停提示的显示顺序,现在会依次显示定义、(采样)可能值、潜望镜、文档和操作,信息呈现更加结构化。
-
代码补全改进:通过捕获上下文信息提供更精准的参数补全,并修正了作用域中定义插入的顺序问题。
代码分析能力提升
新版本在代码静态分析方面也有显著进步:
- 修正了数学调用中参数的
InterpretMode,从Code改为正确的Math模式 - 在数学模式下,将文本节点作为有效标识符进行匹配
- 改进了参数名称的匹配逻辑,为代码补全提供更准确的基础
开发者体验优化
除了核心功能外,0.12.18版本还包含多项提升开发者体验的改进:
- 增加了语法高亮测试脚本,便于开发者验证和贡献
- 完善了Textmate语法的文档说明
- 优化了字符串、常量和关键字作用域的命名规范
- 添加了更多关于FIRST令牌的终止规则
总结
TinyMist 0.12.18版本标志着Typst开发工具链的一个重要里程碑。全新的语法高亮引擎不仅为本地开发提供了更好的支持,也为将来GitHub等平台的集成奠定了基础。编辑器功能的持续优化和代码分析能力的提升,使得Typst开发者的工作效率能够得到显著提高。
对于Typst开发者来说,升级到0.12.18版本将带来更流畅、更智能的开发体验。特别是对于那些需要处理复杂数学公式或大量Typst代码的开发者,新版本的语法高亮和代码分析功能将成为不可或缺的助力。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
HY-Embodied-0.5这是一套专为现实世界具身智能打造的基础模型。该系列模型采用创新的混合Transformer(Mixture-of-Transformers, MoT) 架构,通过潜在令牌实现模态特异性计算,显著提升了细粒度感知能力。Jinja00
LongCat-AudioDiT-1BLongCat-AudioDiT 是一款基于扩散模型的文本转语音(TTS)模型,代表了当前该领域的最高水平(SOTA),它直接在波形潜空间中进行操作。00