2 ms·
Free Monads are also built on a tower of mathematical structures that come with laws and invariants. I have yet to see such formalization for transducers.
by solomonb 6mo ago
Free Monads are also built on a tower of mathematical structures that come with laws and invariants. I have yet to see such formalization for transducers.