摘要： 这个还是基于之前实现的那个MultiState，为了实现三种类型“大类”的函数重载决议：所有整数、所有浮点数、字符串，分别将这三种“大类”的数据分配到对应的Converter上。为此实现了一些方便的类型运算工厂，比如TypeEqFact，同于生成比较两个类型是否相等的谓词，PredOrFact，用于... 阅读全文