Go beyond Goroutines: introducing the Reactive paradigm

(samuelberthe.substack.com)

51 points | by samber 7 days ago ago

25 comments

  • schmichael 2 hours ago

    The supposedly bad example is perfectly readable to anyone familiar with Go. A bit of refactoring into first class functions, and you'd have an easy to read, idiomatic, easy to test, well typed code base with obvious places to adjust useful behaviors like concurrency limits.

    Meanwhile the samber/ro example is incomplete (Subscribe(...)?), and the source includes some weird stuff: https://github.com/samber/ro/blob/22b84c8296c01c4085e8913944...

    Not to mention heaps of reflection and panics: https://github.com/samber/ro/blob/22b84c8296c01c4085e8913944...

    The functionality and expressiveness might be fantastic, but I would evaluate it very carefully before use.

    • alain_gilbert 2 hours ago

      I like how he kept "tabs" (and display it as 9 spaces) to make it as ugly as possible for the bad example, then proceed to use 4 spaces for the other examples.

    • api 2 hours ago

      I’ve come to believe that a direct implementation of something in the language is, where possible, more readable and maintainable in the long term.

      Libraries that enable terse seemingly magical things tend to just hide a lot and make code harder to read. You end up having to become an expert in what amounts to a DSL on top of the language.

    • jvans 2 hours ago

      i like reactive programming in other languages but it is at odds with Go's philosophy of simplicity and avoiding big abstractions

  • adamwk 2 hours ago

    I think this article does an alright job selling ro over RxGo, but doesn’t really explain why using a reactive library is better than plain go. The channel/goroutine example is fine, as they say, but they hand wave how this will fall apart in a more complex project. Conversely, their reactive example is mapping and filtering an 4 item array and handwave how the simplicity will remain no matter the size of the codebase.

    I’ve worked in a few complex projects that adopted reactive styles and I don’t think they made things simpler. It was just as easy to couple components with reactive programming as it was without.

  • jonathrg 2 hours ago

    It's really tough to read through a text where you can't go more than a few sentences without having something be described as *an adjective, a second adjective, and a third adjective*. Just let the code example speak for itself, man.

    Speaking of the code examples, I am not convinced at all. The supposedly bad example is idiomatic and understandable to me, and I have a much better idea of what's going on than in the supposedly good examples. It contains the kind of constructions I expect to see when working on a Go codebase, and it will be easier to modify correctly for another Go developer coming in later. Please, work with the language instead of forcing it to wear a programming paradigm it doesn't like.

    • schmichael 2 hours ago

      It has to be AI generated or at least edited right? The reliance on bulleted lists. The endless adjectives and declarations. ...but also the subtle... well not exactly errors, but facts I think are open to dispute?

      Such as:

      > Together, these tools make Go perfect for microservices, real-time systems, and high-throughput backends.

      Real-time systems?! I have never heard of anyone using Go for realtime systems because of its GC and preemptive scheduler. Seems like the sort of thing an LLM would slip in because it sounds good and nails that 3 item cadence.

      > Built on top of Go channels → broken backpressure.

      But then the example is about ordering. Maybe I'm being pedantic or missing the specific nomenclature the ReactiveX community uses, but backpressure and ordering are different concerns to me.

      Then the Key Takeaways at the end just seems like an LLMism to me. It's a short article! Do we really need another 3 item list to summarize it?

      I'm not anti-LLM, but the sameness of the content it generates grates on me.

  • jzelinskie 3 hours ago

    I'm curious if someone could chime in on the state of adoption of these these Rx libraries in other language's ecosystems.

    My poor memory seems to recall them gaining traction ~10 years ago, but they've fallen hard off my radar.

    My fear with adopting a library like this for Go is actually that it might end up being very unfriendly to the profiler once bottlenecks start occurring.

    • mickael-kerjean 3 hours ago

      I use rxjs day in day out for my oss work (eg: https://github.com/mickael-kerjean/filestash/blob/master/pub...) It's quite common to see job description where I live (Sydney) with rxjava but reactive libs are a bit of a niche thing mostly because it takes a bit of time to be proficient at it + not many people talk about it but it's not sexy

    • jvans an hour ago

      it's used extensively in java and it would be my first choice when starting a java project. I don't think I'd use it in Go though.

  • skeptrune 7 days ago

    My understanding was that Go intentionally avoided patterns like this to improve readability.

    • tuetuopay 3 hours ago

      Sometimes it feels like that Go mistakes readability for comprehendability. Sure, I can read every single line of Go I've ever read. But can I comprehend the bigger picture? Can I understand why? Isn't the actual meat buried under piles of non-abstraction?

      This is precisely the premise for their library: I don't have the mental context to fit all the boilerplate in, nor do I have the brainpower to sift through it.

      Sure, assembly is readable: every line is one machine instruction. But that's way too many details. On the other hand, C++ templates are not enough details.

      • imiric 2 hours ago

        > But can I comprehend the bigger picture? Can I understand why? Isn't the actual meat buried under piles of non-abstraction?

        The way you approach this in Go (and I would argue in any other language) is by building small abstractions when and if it makes sense to do so. Not by introducing abstractions early, or in order to make a piece of code slightly easier to follow. A simple comment might help to explain tricky logic, but otherwise you shouldn't need explanations about core language features.

        Abstractions are not free. They can be poorly written, leaky, abstract too much or too little, inflexible, increase overall complexity and thus cognitive load, impact performance, introduce bugs, etc.

        So relying on them only when absolutely necessary is often the sensible choice.

        Also, if possible, building your own bespoke abstraction is often preferable to using an external package. You can tailor it to your exact use case, without adding another dependency, which carries its own risks and problems.

        This specific package seems designed to be syntax sugar over language features, which is not a good idea for future maintainers of the code that uses it. They would need to understand how this 3rd-party library works, even if the author claims it to be more readable, ergonomic, or what have you.

    • samber 7 days ago

      IMO, this is much more readable.

      So many Go developers ignore some tools because they consider them "not idiomatic".

      But why not use abstractions when available ??? Did we forget to be productive ?

      • brudgers 5 days ago

        What makes sense depends on the agreement of the programming team.

        And the smallest possible team is the programmer and their future self.

        Even then the hard thing is to predict what will be better for our future selves. Maybe we will be rusty in our Go skills or maybe we will have embraced idiomatic Go, and the approach that makes sense now will require our future self to puzzle through the code.

        Of course maybe we will have kept programming the same way because it still feels like the better way and our future self will be efficient. But again that's only for the smallest possible team. If the team expands, then all bets are off.

    • teeray 2 hours ago

      It wasn’t to improve readability—it was for performance. There is no question what is happening in a triple-nested for loop. Once you start hiding it behind deeply-nested function calls, you get hidden performance penalties. If you have a functional language that is actually able to do some of this lazily, great, but that’s not Go.

  • pezo1919 34 minutes ago

    Thanks for this! I never used go but planning for a while and if I do so, I’d like to do it in a reactive way. As I’ve seen there are a few other reactive go libs as well, may I ask how this new lib relates to them?

  • Xeoncross 4 hours ago

    I'm interested, but when I see a large coordination system sitting on top of any language's primitives, I'm immediately curious what kind of overhead it has. Please add some benchmarks and allocation reports.

  • eikenberry 2 hours ago

    Decent idea, but much to big a library. Would have been better to just have the core primitives/plumbing w/o the library of all the different operators/filters/etc. Allow the user to implement the logic, use the library for the piping to hook them together.

  • candiddevmike 3 hours ago

    This looks like it uses the unsafe library, proceed with caution

  • jpillora an hour ago

    This is not the Go way. This abstraction appears to come for free, but it does not.

  • dingdingdang 3 hours ago

    Think this looks beautiful, any idea as to the performance penalty vs say the new wg.Go(func({doSomething()}) sugared syntax in Go 1.25?

  • cpursley 2 hours ago

    I love these "we invented erlang/elixir!" hn posts (1/3 of them?).

    (snark aside, that syntax actually looks pretty nice).

  • lelandbatey 3 hours ago

    The explanation of RxGo being "wrong" or "out of order" seems very confusing? The case labeled "wrong" might aesthetically not look good, but from a data dependency perspective it seems totally valid to me. Why is it not valid to have the producer (map-A) resume and immediately do work "before" the consumer starts doing its work? Like, isn't that the point of breaking the "worker" bits up into separate functions? If I wanted the output of the `ro.Map()` example, wouldn't I just... not have map-A and map-B be separate functions?

    • taeric 2 hours ago

      I am curious on this. My reading was largely that this seemed to be a side effect of the format message, and not something that is in your control?