2 ms·
In types, if you think of a transducer as being typed (r -> a -> r) -> (r -> b -> r) then you must think of it as transforming [b] into [a], roughly.
by tel 12y ago
In types, if you think of a transducer as being typed
(r -> a -> r) -> (r -> b -> r)
then you must think of it as transforming [b] into [a], roughly.