Open pepeiborra opened 7 years ago
Ed, is there a notion of free arrows that you feel comfortable with adding to your package ?
These came up while designing an EDSL with: a) explicit sharing b) semantic equivalence
The Arrow approach seems equivalent to the Applicative one but more convenient.
Ed, is there a notion of free arrows that you feel comfortable with adding to your package ?
These came up while designing an EDSL with: a) explicit sharing b) semantic equivalence
The Arrow approach seems equivalent to the Applicative one but more convenient.