Issue 1567 deforestation/fusion on RL/FL

Title deforestation/fusion on RL/FL
Priority feature Status needs-implementation
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, dons, jaredj, kowey, mndrix, thorkilnaur
Assigned To
Topics Performance, ProbablyEasy

Created on 2009-08-26.11:25:37 by kowey, last changed 2012-02-24.05:28:07 by mndrix.

msg8501 (view) Author: kowey Date: 2009-08-26.11:25:32
I noticed this on http://wiki.darcs.net/HowToHelp

> The new FL and RL types are great for safety, but they don't get deforested. >
Implement a RULES system (maybe Don's streams?) to allow deforestation/fusion.

FL and RL are just lists that enforce the order of elements with the type
system.  If you cons an p y z to an FL p x y, you get back an FL p x z.  If you
reverse a FL p x y you get back an RL p y x.

Sounds like something a non-Darcs-savvy Haskell hacker who work on.  I'm marking
this as ProbablyEasy because it sounds like it can be isolated to one module
(Darcs.Ordered -- which I still think ought to live on as its own package)
Date User Action Args
2009-08-26 11:25:37koweycreate
2009-08-26 11:33:24koweysettopic: + Performance
nosy: kowey, darcs-devel, thorkilnaur, jaredj, dons, dmitry.kurochkin
2009-08-27 13:43:53adminsetnosy: kowey, darcs-devel, thorkilnaur, jaredj, dons, dmitry.kurochkin
2009-08-27 14:32:44adminsetnosy: kowey, darcs-devel, thorkilnaur, jaredj, dons, dmitry.kurochkin
2012-02-24 05:28:07mndrixsetnosy: + mndrix