Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
The solution for issue #72 will have me fully deprecate the previous notation for algebra expressions. So, it will no longer be possible to do, say, objectregionnominals x1; instead, you'd just write 1: R3a(Obj, Reg, Nom) (and the 1 will be replaced during parsing with the appropriate input expression). Algebra expressions will need to be rewritten. Now is a good time to parameterize type aliases, e.g. Network = TypeAlias(lambda x: R3(Obj, x, Obj), Qlt) to write 1: Network(Ratio) instead of rationetwork x1.
The solution for issue #72 will have me fully deprecate the previous notation for algebra expressions. So, it will no longer be possible to do, say,
objectregionnominals x1; instead, you'd just write1: R3a(Obj, Reg, Nom)(and the1will be replaced during parsing with the appropriate input expression). Algebra expressions will need to be rewritten. Now is a good time to parameterize type aliases, e.g.Network = TypeAlias(lambda x: R3(Obj, x, Obj), Qlt)to write1: Network(Ratio)instead ofrationetwork x1.