这是什么
一个早期 alpha 的 Haskell DSL,面向 agent:一组带标签的问题写成一个表达式,其类型被推断,渲染为 Jev 请求 JSON,答案以相同标签返回,作为可按字段读取的记录。
它怎么用 Jev
该 DSL 为 TypeSafe 的 Jev 判断模型编码类型化问题包并解码返回的答案。choice 通过穷尽的带标签 handler 或其携带的 payload 消费,并可用基于 mass、margin 和 confidence 的 policy。HTTP 传输留给调用方。
用到的原语:choicescorenoul
值得抄的做法
从问题推断包类型,使以作者词汇表述的编译错误成为反馈回路。
证据
每一行都是就 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 写成。