no-materials 发布面向 BEAM 的类型化 Agent 语言 Hirð v0.1

开发者 no-materials 在 GitHub 发布开源语言 Hirð v0.1，这是一种运行在 BEAM 上的类型化语言，面向长时运行的 Agent 系统。它通过 effect-row 跟踪、typed actors 和 OTP 监督，让每次工具调用与 actor 消息在类型层面可见。 该语言将所有工具调用无条件记录为规范 JSON 审计流，录制文件可确定性回放，用作无需维护 oracle 的回归测试和对比程序变体的固定环境。仓库中的 demo/agent_fleet 演示了三个受监督 actor 在 Executor 崩溃后按 rest_for_one 策略重启并持续运行。 项目处于 pre-1.0 实验阶段，v0.1 编译管线可端到端工作（示例可类型检查、编译为 Erlang 并在 BEAM 上运行），但尚未发布到 crates.io，且破坏性变更不设弃用周期。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。