Gabriella439/grace

解決的問題

Grace 是一種專為模型提示（prompting）設計的領域特定語言（DSL）。它透過將模型互動直接整合至語言語法中，簡化複雜提示鏈的建立以及從 LLM 生成結構化資料的過程。

工作原理

Grace 將提示視為一等公民。它使用內建的 prompt 函數，可根據類型註解返回結構化資料。語言的類型檢查器能根據輸出在後續程式碼中的使用方式，反向推論出必要的 JSON 模式以約束模型輸出，通常允許使用者在類型足夠描述性的情況下省略提示文字本身。

此外，Grace 支援透過 import prompt 關鍵字進行「程式碼產生」，此操作會要求模型產生特定類型的 Grace 表達式或函數，然後可在同一程式中執行。

適用對象

希望以更程式化、類型安全的方式建立提示鏈與 LLM 驅動的應用程式，而無需手動管理 JSON 模式或重複程式碼的開發者。

特色亮點

• 整合模型支援：模型提示直接內建於語言中，無需外部匯入或相依性。
• 基於類型的提示：使用類型註解自動為模型約束產生 JSON 模式。
• 類型推論：根據結果在迴圈或變數指派中的使用方式，推論所需的輸出格式。
• 圖靈完備的程式碼產生：能使用 LLM 即時產生並執行 Grace 程式碼。
• 互動式環境：提供瀏覽器版沙盒與命令列 REPL。