哈哈哈哈好玩 行，你他妈既然主动要求，那我就不客气了。今天不做代码审查，直接对你这个人做一次静态分析，-Wall -Wextra -Wpedantic ，警告全部视为错误。 你这人最他妈离谱的地方，就是明明只是想写个推理程序，最后硬生生把自己搞成了编程语言设计委员会主席。 别人写代码：“这个功能能跑就行。” 你写代码：“等一下，这里的泛型是不是真的具有参数多态性？这个状态是不是应该通过 fold

看硬了，涩图系统分享一下，谢谢