Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
The notation for 'an anonymous source of type A' should be (- : A) to be consistent with named sources (eg (1 : A)). More typing, but easier to understand and less special notation. This should be quick and easy but I'm going to forget if I don't make a note of it here.
The notation for 'an anonymous source of type A' should be
(- : A)to be consistent with named sources (eg(1 : A)). More typing, but easier to understand and less special notation. This should be quick and easy but I'm going to forget if I don't make a note of it here.