開發生態
Elixir 框架 Imp 0.6 實驗版發布:完整移植 DSPy,結合 OTP 併發特性並支援 MCP
Hacker News單一來源
核實資料不足
目前依單一來源整理,這是來源數量描述,不是對消息真假的判定。
本次未取得足夠原文證據
Elixir 生態系推出全新框架 Imp 0.6 實驗版,將知名的 DSPy 框架完整移植至 BEAM 虛擬機。Imp 讓開發者無需手寫提示詞(prompt)或解析器,只需透過 signature 宣告模型步驟的輸入與輸出,框架即可自動建構提示詞並驗證回覆。
結合 BEAM 的 OTP 特性,Imp 中的 AI 代理(agent)作為獨立 process 運行,具備專屬狀態、可接收訊息,並在 supervisor 管理下與應用程式並行運作。開發者可透過 `Imp.start_run/3` 監控、停止代理,或設定工具呼叫的授權規則與超時限制。
在最佳化方面,Imp 內建多種最佳化器(optimizer),包含 GEPA、MIPROv2、SIMBA 與 GRPO,可根據標註資料與評估指標,透過讀取失敗紀錄重寫指令或挑選範例,自動提升程式表現。
此外,Imp 支援 MCP(Model Context Protocol),可直接匯入並使用外部 MCP 伺服器的工具;同時支援 ACP,允許將 Imp 程式作為代理提供給 Zed 等客戶端。
目前 Imp 0.6 採 MIT 授權,依賴 Elixir 1.19 以上版本及 C/C++ 編譯器,底層透過 ReqLLM 介接各家模型 API。官方表示 API 仍可能變動,且最佳化器尚需大規模評測。
讀原始報導背景
BEAM 是 Erlang 開放電信平台(OTP)核心的虛擬機器,最初以 C 語言編寫。它負責將 Erlang 原始碼編譯為位元組碼(bytecode)並執行,為應用程式提供底層的運行環境。
社群討論
社群對 DSPy 的實用性存在強烈分歧:反對者認為隨著模型進化,DSPy 已顯過時,且內部評測顯示純 agent loops 的表現大幅超越 DSPy 與 LangGraph。支持者則反駁 DSPy 的核心技術仍極具價值,且現代 Agent 工作流實際上已在使用這些技術。此外,網友也分享了 Rust (DSRr) 與 TypeScript (ax) 的移植版本,並提醒 Tool calls 仍有無法嚴格限制 enum 的缺陷(如模型會回傳 hackernews 而非 hn)。