`transformers` vs `arrows` packages

Learn
2

Do you mean the arrows package (with an s)?

If so, I’d say it is because arrows are not very useful.

  • If you need fully dynamic programs you have to use ArrowApply anyway at which point you might as well use monads which are simpler.
  • If you do want static analysis you can get very far with applicatives (to be fair, I haven’t worked this out completely yet).
  • And if you really want to statically analyze the data-flow graph, you should not use arrows anyway. Instead, you should use symmetric monoidal categories.
6 Likes