Clojure四值逻辑库
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
formform 是一个模块化的 Clojure/ClojureScript 库，围绕 Ralf Peyn 在 uFORM/iFORM 中提出的“四值认知逻辑”展开。其核心目的，是表示、求值并进行代数化简书中引入的各类未定、想象、含混等 FORMs。它更像一个研究型开发库，而不是通用表单工具。
从 API 结构看，formform 分为 calc、emul、expr、io 等命名空间。calc 侧重常量、DNA、值空间、排列与化简等计算能力；expr 提供表达式构造、解释、求值、变量处理、嵌套和简化；emul 涉及规则、cellular automata、lifeform、mindform、umwelt 等仿真对象；io 则负责表达式读写和打印。支持语言明确为 Clojure/ClojureScript。页面提供 Source Repository 和 API Docs，但抓取文本未说明许可证，因此不能确认其开源协议。
正文没有任何商业定价、付费计划或支付方式信息，推测其更偏学术/开源研究项目，但仍需以仓库许可证为准。API 文档由 Codox 生成，列出了 0.3.0 版本的项目索引、命名空间和公共函数，适合已有 Clojure 基础的开发者查询。生态方面，页面提到基于 formform 的 FORM tricorder 与 FORM plotter，但也说明它们仍使用旧版 JS formform，正在重新设计和重新开发。
优点是定位非常清晰，围绕 uFORM/iFORM 的 FORM 逻辑提供较系统的表达、求值、变换和仿真能力；模块划分也比较明确。缺点是信息不完整：未看到安装指南、依赖管理、版本发布渠道、许可证、贡献说明和维护频率；文档当前更像 API 索引，对非该领域用户不够友好。
它适合研究 FORM 逻辑、四值认知逻辑、符号表达式求值或使用 Clojure/ClojureScript 构建相关实验工具的人。不适合寻找常规 Web 表单、低代码表单或业务规则引擎的团队。中国访问情况抓取文本无法判断，标记为未知；如访问源码仓库或相关应用不稳定，可考虑通过镜像、代理或查找本地数学逻辑/符号计算库替代。
本测评基于公开资料整理,不构成购买建议,请以 formform.dev 官网实际信息为准。
小众开源逻辑研究库，适合开发者学习。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。