17 Jan
2010
17 Jan
'10
9:47 p.m.
Mario Blažević wrote:
After some investigation, I've concluded that Transducer cannot be made an instance of Arrow in any way that's both practical and general.
the arr and (>>>) methods are trivial:
but there is no satisfactory definition for the method first.
The Arrow class is too big, it includes too many things and it should be split up. This is yet another example. You can get some of the benefits of standard classes by making Transducer an instance of Control.Category.Category, for which you only need to implement (.) and id. Twan