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中找到。