A visual demo of Ruby's lazy enumerator

afraca 1 year ago |

When I learned Haskell in college I was blown away by how laziness enables cool things like dealing with infinite lists or more performance even though the UX is exactly the same. (Apparently with Ruby there is the slight hint of adding the lazy method in between)

Later I found out laziness in the whole system by default leads to some difficult issues, which quite a few people seem to agree with. Simon Peyton Jones (Haskell co-creator) apparently has said "The next Haskell will be strict". (https://news.ycombinator.com/item?id=14011943)

drnewman 1 year ago | |

Laziness is great for collections, and modeling the infinite but as a general model for programming it's a little loopy for my taste too ;-)

whateveracct 1 year ago | |

That was SPJ being cute more than an actual indictment of Haskell fwiw. That quote gets misused a lot.

Laziness hasn't killed Haskell's usefulness. However, it is something Haskellers take for granted. I can't tell you how many times they "just turn on -XStrict" and are surprised their program gets slower.

adsteel_ 1 year ago |

Hm, the CSS and JS don't appear to load for me. Not even a <body><html> set of tags in the HTML response.

fredrikholm 1 year ago | |

Same here, both on computer and mobile. The rest of the website looks fine.

rossta 1 year ago | | |

I have heard a few people mention issues but I haven’t been able to reproduce nor understand the scope of the issue. Any more details you can share? You’re getting HTML but JS or CSS assets aren’t loading, right? What status and headers do you see for static assets?

Syntaf 1 year ago |

Really cool visualization and neat to learn about lazy enumeration!

Excuse me while I go back through my code and make sure I’m using lazy enumeration wherever I’m iterating over large collections….

dylan604 1 year ago | |

This sounds like a similar response I had when learning about stream editors vs text editors. It was one of the killer apps that convinced to become a CLI warrior. Opening up a large text file in Notepad took for ever, but opening the same file in vim was a nothing burger. Then, the same person that showed me that showed me sed/awk/grep, and I was off to the races.

hakunin 1 year ago |

Lazy enumeration can also save memory, because you aren’t storing entire collections during intermediate steps, and it works with infinite/unknown size collections. Such as streaming data.

Some examples:

I wrote a utility gem a while ago that lets you lazily intersect, union, etc various potentially infinite streams of data. https://github.com/maxim/enum_utils/

I also used lazy enumeration for traversing the wordmap in my no-RAM static storage gem. https://github.com/maxim/wordmap/

hansvm 1 year ago | |

In the worst case, that must have intermediate space requirements equal to the entire collections, right?

hakunin 1 year ago | | |

I don’t think that can happen because all those functions assume the streams are consistently sorted.

hansvm 1 year ago | | |

Ohhhhh, nice. Yeah, sorted data is powerful. Thanks for pointing that out.

pyinstallwoes 1 year ago | |

How is it different than a window, rolling window?

hakunin 1 year ago | | |

It's probably a version of that. But since data is assumed sorted, memory requirements almost never grow beyond one item per stream.

pansa2 1 year ago |

So in Ruby, `map` and `select` are eager-by-default, but you can just write `lazy.map().select()` to make the whole chain lazy? That's really nice - much better than Python 2, which was also eager-by-default and you had to change every function call to make it lazy (`map` => `imap`, `filter` => `ifilter`).

Python 3 changed to being lazy-by-default. I assume that improves CPU/memory usage, but in some cases it does have less predictable behaviour. I can see why Ruby, with its goal of "developer happiness", would choose to retain the predictable behaviour of eager-by-default.

saagarjha 1 year ago | |

Swift does this too, with almost the same syntax. IMO it's the right choice.

thih9 1 year ago |

Related discussion from yesterday:

https://news.ycombinator.com/item?id=42652775 (different submitter; 29 points, 3 comments)

endorphine 1 year ago |

I was expecting a visual comparison towards the end of the article, where you would be able to click a button and both the eager and lazy versions would start executing simultaneously, one displayed next to the other, and you would clearly see that the lazy one completed earlier. This would make it even more obvious how the lazy one is faster.

Nevertheless, this was great.

rossta 1 year ago | |

Thanks for the feedback. I was thinking along those lines but settled on a version that let you toggle between the two. I’ll keep this in mind for next time though.

There are probably a lot of fun variations to explore. Since this post seemed to resonate, I may be motivated to try some more experiments.

robocat 1 year ago | | |

I find horizontal/vertical is usually confusing (not to you obviously). Here is an example: https://www.investopedia.com/terms/h/horizontalanalysis.asp Maybe easier to stick with the lazy/eager wording?

rossta 1 year ago | | |

That’s fair. I acknowledge that terms like "horizontal" and "vertical" may be overloaded or even confusing, in this case, if it’s difficult to see the connection with the visuals. This is somewhat part of the risk in trying to explain a concept in a less-than precise way to introduce a new concept.

robocat 1 year ago | | |

I love the visuals - they are fantastic at showing the difference.

If the visuals were vertical then the filtering might look more natural because time would be left-to-right and balls would have natural gravity and fall "down" through filters? Code runs top to bottom so I'm guessing it would still be clear.

And putting a number in each of the balls might help clarity too :-)

The only crazy thing is that Haskell lazy is pull (right) whereas Ruby lazy is still push - so the lazy keyword is somewhat confusing but that can't be fixed.

I am not criticising and certainly don't want to make unnecessary work for you. Graphic design and animation are dark arts!

Exuma 1 year ago | | |

Your site is broken...

rossta 1 year ago | | |

Bummer, I can’t reproduce. Could you share more details?

ryangs 1 year ago |

Java Streams and Kotlin Sequences provide similar iterator capabilities. Iterators are great for this lazy performance but can sometimes be difficult to debug. Especially if you are nesting many iterators, then extracting the underlying collection can be complicated. But necessary in many workflows.

lukasb 1 year ago |

Apparently Typescript doesn’t have anything built-in like this?

Lio 1 year ago |

That's lovely and makes it very obvious what's happening.