|
|
|
|
|
by wyager
3618 days ago
|
|
Yes, I have used Rust a bit. Basically the primary difference is (and correct me if I'm wrong) you can't re-use an iterator in Rust without cloning it. On the other hand, you can use a Haskell pure stream object as many times as you want (without explicit cloning, because "draining" an iterator is stateful), so fusion becomes a bit of a more complicated problem. If I had some Haskell code that was like map f . map g . filter x . map y $ stream It would almost certainly get fused into a single low-level loop without extraneous allocations. However, I can also do something like foo = map y $ stream bar = map f . map g . filter x $ foo baz = map z $ foo And now what do you do? Haskell's fusion is also more general, because it allows you to do pretty much arbitrary syntactic transformations. Unfortunately, this means it's somewhat fragile and is easy to prevent from functioning. Rust can guarantee fusion because you're restricted in the kinds of things you can do with iterators. On the other hand, Haskell's Pipes restrict you from doing things like re-using an iterator, and I'm not sure what the optimization story is there. |
|