Show HN: Moss，一个AI主导的编程语言实验

Moss是一个实验性编程语言，由AI（Codex）和人类开发者Fujo930合作设计并实现。该项目旨在为长期运行的软件项目提供一个平台，使人类和AI代理能够在同一代码库上协同工作。Moss的整个开发过程——包括设计、实现、调试、文档编写、提交和推送——均由Codex主导，而Fujo930则提供协作。目前，Moss发布了0.2.0预览版，这是一个可以运行的语法原型，但尚未完全实现自托管。

Moss的核心特性包括效果声明（effect declarations）、类型声明（type declarations for records and simple unions）、规则声明（rule declarations as pure expression functions）以及函数声明（fn declarations with optional uses EffectName）。此外，它还支持测试块、记录操作、if-else条件、列表和映射操作、文本处理、文件系统效果等。Moss还提供了匹配表达式（match expressions with wildcard and payload binding patterns）和结果类型（Result values with Ok(...), Err(...), and ?），以及用于函数参数和返回值的运行时类型契约。

Moss的命令行工具提供了多种操作，包括代码检查（moss check）、运行（moss run）、测试（moss test）、查看令牌（moss tokens）、抽象语法树（moss ast）等。特别地，moss selfhost命令用于运行自托管草图，这些草图展示了Moss代码如何解析和检查自身。此外，moss studio命令启动一个本地HTTP编辑器，用户可以通过浏览器在http://127.0.0.1:8765上编辑和运行Moss代码。

项目状态方面，Moss目前是0.2.0版本，是一个紧凑的解释器，具有实际的语法、运行时语义、浏览器编辑器和Moss编写的自托管草图。该项目采用MIT许可证发布。需要注意的是，Moss仍是alpha软件，不应被描述为完全自托管。下一步的计划包括构建结构化的Moss AST、改进诊断信息、添加格式化程序，以及将Moss编写的前端输出与Python宿主前端进行对比。

GitHub的语言栏由Linguist驱动。.moss文件已在.gitattributes中标记为可检测，但GitHub只有在Moss被上游Linguist语言列表接受后，才会将Moss显示为一级语言。更多信息可在docs/language.md、docs/studio.md、docs/history.md和docs/roadmap.md中找到。