Go

toulmin -- 计算契约的规则引擎

toulmin -- 计算契约的规则引擎

规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。

filefunc — 一个文件,一个概念

filefunc — 一个文件,一个概念

AI 代码 agent 的探索单元是文件。filefunc 是一种强制「一个文件,一个概念」的 Go 代码结构规范,同时也是一个 CLI 工具。

SSaC — Service Sequences as Code

SSaC — Service Sequences as Code

一种语言无关的概念,将服务函数内部的业务流程分解为声明式块(sequence)。只需用10种固定类型声明what,codegen自动填充how。