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