jevbooks

← 全部项目

jev-dsl

inanna-malick/jev-dsl

面向 TypeSafe Jev 判断包的类型化 Haskell DSL。

Agent 决策81%次选分类: 基础设施 / SDK / 集成一个 state 多题平铺概率分档

这是什么

一个早期 alpha 的 Haskell DSL,面向 agent:一组带标签的问题写成一个表达式,其类型被推断,渲染为 Jev 请求 JSON,答案以相同标签返回,作为可按字段读取的记录。

它怎么用 Jev

该 DSL 为 TypeSafe 的 Jev 判断模型编码类型化问题包并解码返回的答案。choice 通过穷尽的带标签 handler 或其携带的 payload 消费,并可用基于 mass、margin 和 confidence 的 policy。HTTP 传输留给调用方。

用到的原语:choicescorenoul

值得抄的做法

从问题推断包类型,使以作者词汇表述的编译错误成为反馈回路。

去 GitHub 看

Jev 判的jev-1.13.0

证据

每一行都是就 README 问 Jev 的一道题。≥ 0.60 算「是」,≤ 0.40 算「否」,中间这一段 Jev 不下判断。

  • Jev 是主角0.92
  • 有 System One 用法0.82
  • 处理了不确定性0.05
  • 有实测数据0.04
  • 可直接跑0.67
  • 值得推荐0.30
  • 是模型的复刻0.06
  • 问题普遍性按 0–2 打分1.01
  • 与 Jev 相关0.98

信号由 Jev jev-1.13.0 判定,简介由 DeepSeek V4.1 Flash 于 2026年9月20日 读 README 写成。