Re: Discussion: name for reversing fromList in Data.Sequence

5 Sep 2016


      On Thu, Sep 1, 2016 at 12:51 PM, John Wiegley  wrote:
...
...
...
...
...
...
"DF" == David Feuer  writes:
DF> I'd like to add a function
DF> fromListReversing :: [a] -> Seq a
Hi David,
Perhaps rather than proliferating the libraries with fused compositions that
are faster than their composites via (.), we could defer things like this to
REWRITE rules.
Supposing we do have the rewrite rules, what exactly are we going to
rewrite them *to*? the fused function still needs a name... And, as
David mentions, there's the fragility problem: so even if users by and
large rely on the rewrite rules, it's still nice to be able to
directly invoke the fused version if desired. Usually for this sort of
thing I like to define the fused function, perhaps only exported from
an Foo.Internal module, and then use rules to rewrite things into the
fused form.

-- 
Live well,
~wren

Re: Discussion: name for reversing fromList in Data.Sequence

wren romano