Currently we have to choose between making lots and lots of primitive ops, or not being able to dispatch based on it. For example dot can be composite written in terms of + and *, but if we want to translate to TensorFlows Dot operator it is difficult because we are unable to distinguish CompArrows at the type level.
Currently we have to choose between making lots and lots of primitive ops, or not being able to dispatch based on it. For example
dotcan be composite written in terms of+and*, but if we want to translate toTensorFlowsDotoperator it is difficult because we are unable to distinguishCompArrows at the type level.