undefined | Better HN

0 pointsDanWaterworth11y ago0 comments

I don't believe GHC actually does implement stream fusion. I think stream fusion happens with rewrite rules.

0 comments

pardon my ignorance, but what would be the difference between the two? Don't rewrite rules happen in GCH anyway?

Sorry, I should have been clearer. The rewriting happens in GHC, but it's the application programmer who creates the rules. So, stream fusion isn't implemented by the compiler AFAIK.

riffraff11y ago

ah that makes sense, thanks.

j / k navigate · click thread line to collapse

0 pointsDanWaterworth11y ago0 comments

I don't believe GHC actually does implement stream fusion. I think stream fusion happens with rewrite rules.

0 comments

riffraff11y ago

pardon my ignorance, but what would be the difference between the two? Don't rewrite rules happen in GCH anyway?

DanWaterworthOP11y ago

Sorry, I should have been clearer. The rewriting happens in GHC, but it's the application programmer who creates the rules. So, stream fusion isn't implemented by the compiler AFAIK.

riffraff11y ago

ah that makes sense, thanks.

j / k navigate · click thread line to collapse