17 Jul
2012
17 Jul
'12
11:48 a.m.
On 7/16/12 3:44 PM, Twan van Laarhoven wrote:
I am sure there are other examples of categories for which `arr` is too strong, but which do, for example, support `first`.
My major complaint with arrows has always been that `arr` is way too strong. By requiring that we can embed every Haskell function into a given arrow we eliminate countless "arrows" which obey all the rest of the interface but which are specifically limited in not representing all Haskell functions. I'm thinking for example of DSLs. Ofttimes the whole point of a given DSL is that by restricting to a well-behaved class of functions we can get performance or other reasoning benefits. -- Live well, ~wren