> > I don't have a clear picture about common practice regarding argument
> > order. Any ideas for simple rules which cover most cases?
> 
> For functions that take an old version of something plus some modifiers
> and return a new version, current practice is inconsistent.

Fusion rules (cata-build) turn out to be very simple if the first
argument is an inductive argument i.e. List, Tree, Maybe whatever. In
fact, when implementing warm fusion I was forced to rearrange the
arguments (by inventing a wrapper) of potentially fusable functions.
This of course doesn't have to be enforced for the user.

Just an observation.

Laszlo


Reply via email to