fluxittype
Fluxittype is a theoretical construct in type theory and data-flow programming that attaches a quantitative flow annotation to a base type. A value of Fluxittype<A, F> carries both a data value of type A and a flux index F that describes how the value participates in data movement, state changes, or resource usage during evaluation.
In formal terms, Fluxittype is a parametric type constructor parameterized by a base type A and a
Semantics and usage: Fluxittype is designed to enable flow-sensitive reasoning about programs. It can express constraints
Example: in a hypothetical streaming language, a value of Fluxittype<int, Read> flowing through a transform to
Relation to other concepts: Fluxittype shares goals with effect systems, linear and affine types, and capability-based