undefined | Better HN

0 pointsvbezhenar2y ago0 comments

> GHC would be a better example, I think. It performs stream fusion. This means it can turn 'map f (map g xs)' into 'map (f . g) xs', and of course it gets more complex than that, but that's the basics. It directly optimises lists (which, this being Haskell, are lazy sequences).

Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ?

0 comments

consilient2y ago

> Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ?

Just the stdlib `map`, but it's all ordinary library code. You can easily add your own rewrite rules.

j / k navigate · click thread line to collapse

0 pointsvbezhenar2y ago0 comments

Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ?

0 comments

consilient2y ago

> Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ?

Just the stdlib `map`, but it's all ordinary library code. You can easily add your own rewrite rules.

j / k navigate · click thread line to collapse