Open Menu
AllLocalCommunitiesAbout
lotide
AllLocalCommunitiesAbout
Login

Left to Right Programming

⁨53⁩ ⁨likes⁩

Submitted ⁨⁨4⁩ ⁨days⁩ ago⁩ by ⁨CodiUnicorn@programming.dev⁩ to ⁨technology@lemmy.world⁩

https://graic.net/p/left-to-right-programming

source

Comments

Sort:hotnewtop
  • squaresinger@lemmy.world ⁨3⁩ ⁨days⁩ ago

    I’m kinda surprised that pretty much nobody who commented here seems to have understood the point of the post.

    It wasn’t about readability at all.

    It was about designing APIs that the IDE can help you with.

    With RTL syntax the IDE doesn’t know what you are talking about until the end of the line because the most important thing, the root object, the main context comes last. So you write your full statement and the IDE has no idea what you are on about, until you end at the very end of your statement.

    Take a procedural-style statement:

    len(str(myvar))

    When you type it out, the IDE has no idea what you want to do, so it begins suggesting everything in the global namespace starting with l, and when you finish writing len(, all it can do is point out a syntax error for the rest of the line. Rinse and repeat for str and myvar.

    Object-oriented, the IDE can help out much more:

    myvar.tostring().length()

    With each dot the IDE knows what possible methods you cound mean, the autocomplete is much more focussed and after each () there are no open syntax errors and the IDE can verify that what you did was correct. And it you have a typo or reference a non-existing method it can instantly show you that instead having to wait until the end of the whole thing.

    source
  • FishFace@lemmy.world ⁨4⁩ ⁨days⁩ ago

    I’m always suspicious of people who say that a language is suboptimal and use as evidence some filthy one-liner. Maybe if you bothered to write some whitespace and didn’t write the language ignorant of its features (like generator expressions) you would end up with better code?

    sum(
        all(
            abs(x) >= 1 and abs(x) <= 3 for x in line
        ) and (
            all(x > 0 for x in line) or
            all(x < 0 for x in line)
        )
        for line in diffs
    )
    

    You no longer have to “jump back and forth” except one single time - you have to look to the end to see where line is coming from and then you can read the body of the main expression from start to finish.

    People don’t, in fact, read code from top to bottom, left to right; they read it by first looking at its “skeleton” - functions, control flow, etc - until finding the bit they think is most important to read in detail. That implies that “jumping back and forth” is a natural and necessary part of reading (and hence writing) code, and so is nothing to fear.

    There is still a slight advantage to not having to jump around, but consider the costs: in Javascript, map and filter are methods on Array and some other types. So how are you going to implement them for your custom iterable type? Do you have to do it yourself, or write lots of boilerplate? It’s easy in Python. It’s not bad in Rust either because of traits, but what this all means is that to get this, you need other, heavy, language features.

    In practice, you often know what a comprehension is iterating over due to context. In those situations, having what the comprehension produces be the most prominent is actually a boon. In these scenarios in Rust/JS you are left skipping over the unimportant stuff to get to what you actually want to read.

    source
    • eager_eagle@lemmy.world ⁨4⁩ ⁨days⁩ ago

      People don’t, in fact, read code from top to bottom, left to right

      100% this.

      This false premise is also why a few (objectively wrong) people defend writing long essays: functions with hundreds of lines and files with thousands; saying “then you don’t have to go back and forth to read it”, when in fact, no one should be reading it like a novel in the first place.

      source
      • squaresinger@lemmy.world ⁨3⁩ ⁨days⁩ ago

        The blog post wasn’t about reading, but about writing. And people usually do write top-to-bottom, left-to-right.

        The whole point of the blog post was to write code that the IDE can help you with when writing. It didn’t go into readability even once.

        source
        • -> View More Comments
    • patatahooligan@lemmy.world ⁨4⁩ ⁨days⁩ ago

      I agree with you that the one liner isn’t a good example, but I do prefer the “left to right” syntax shown in the article. My brain just really likes getting the information in this order: “Iterate over Collection, and for each object do Operation(object)”.

      The cost of writing member functions for each class is a valid concern. I’m really interested in the concept of uniform function call syntax for this reason, though I haven’t played around with a language that has it to get a feeling of what its downsides might be.

      source
      • FishFace@lemmy.world ⁨4⁩ ⁨days⁩ ago

        I was also thinking about UFCS. I do like it for its flexibility, but I did try it in Nim one time and was left feeling unsure. Unfortunately I now can’t remember what exactly I didn’t like about it.

        source
      • speq@lemmy.dbzer0.com ⁨2⁩ ⁨days⁩ ago

        I think Nim is the frontrunner here. Close to Python to write because it is so expressive, close to C speed because it is compiled properly.

        source
    • squaresinger@lemmy.world ⁨3⁩ ⁨days⁩ ago

      Did we read the same blog post?

      Not a single time did OOP talk about readability. That was not a point at all, so I don’t know why you are all about readability.

      It was all about having a language that the IDE can help you write in because it knows what you are talking about from the beginning of the line.

      The issue with the horrible one-liner (and with your nicely split-up version) is that the IDE has no idea what object you are talking about until the second-to-last non-whitespace character. The only thing it can autocomplete is “diffs”. Up until you typed the word, it has no idea whether sum(), all(), abs(), <, >, or for-in actually exist for the data type you are using.

      If you did the same in Java, you’d start with diffs and from then on the IDE knows what you are talking about, can help you with suggesting functions/methods, can highlight typos and so on.

      That was the whole point of the blog post.

      source
      • FishFace@lemmy.world ⁨3⁩ ⁨days⁩ ago

        I dunno, did we?

        Screenshot from the post

        I think rust’s iterator chains are nice, and IDE auto-complete is part of that niceness. But comprehension expressions read very naturally to me, more so than iterator chains.

        I mean, how many python programmers don’t even type hint their code, and so won’t get (accurate) auto-complete anyway? Auto-completion is nice but just not the be-all and end-all.

        source
        • -> View More Comments
  • eager_eagle@lemmy.world ⁨4⁩ ⁨days⁩ ago

    IMO all those examples are less readable than writing it in an imperative way using good function and variable names.

    Also, len() a Python convention and a built-in function that calls __len__() on that object. It’s even more established than .length in JS, so I really don’t see why someone would expect anything else.

    source
  • Deestan@lemmy.world ⁨4⁩ ⁨days⁩ ago

    Is string length len, length, size, count, num, or # ? Is there even a global function for length? You won’t know until you try all of them.

    This is Python basics, so the argument would be to optimize readability specifically for people who have zero familiarity with the language.

    (The other examples have the same general direction of readability tradeoff to the benefit of beginners, this one was just simplest to pick here)

    That’s a valid tradeoff to discuss, if discussed as a tradeoff. Here it is not. The cost to readability for anyone with language familiarity appear to be not even understood.

    source
    • frezik@lemmy.blahaj.zone ⁨4⁩ ⁨days⁩ ago

      The point of the article is about how IDE’s can’t validate certain things as you type them in this order. The example of a string length function could be replaced by any other API.

      source
      • eager_eagle@lemmy.world ⁨4⁩ ⁨days⁩ ago

        The example of a string length function could be replaced by any other API

        I don’t know about that, len is a built-in – like str, abs, bool. There are only a few of them and they’re well known by people familiar to the language (which seems to exclude the article author). Their use is more about the language itself than about what to expect from a particular API.

        In fact, most Python APIs that deviate from built-in usage actually look much more object-oriented with “left-to-right” object.method() calls.

        source
        • -> View More Comments
      • Deestan@lemmy.world ⁨4⁩ ⁨days⁩ ago

        That is one of the points, yes.

        But, the reason for wanting the IDE to validate based on partially entered expressions is given as making it easier to follow the code for a person working left-to-right.

        And it’s not an invalid thing to want, but I expect the discussion to also include how it affects reading the code for a non-beginner.

        source
        • -> View More Comments
  • Badabinski@kbin.earth ⁨3⁩ ⁨days⁩ ago

    I'll agree that list comprehensions can be a bit annoying to write because your IDE can't help you until the basic loop is done, but you solve that by just doing [thing for thing in things] and then add whatever conditions and attr access/function calls you need.

    source
  • yogsototh@programming.dev ⁨4⁩ ⁨days⁩ ago

    I also tend to prefer left to right and use threading macros a lot.

    clojure.org/guides/threading_macros

    source
  • fargeol@lemmy.world ⁨4⁩ ⁨days⁩ ago

    That sounds a lot like Functional Programming

    source
    • FishFace@lemmy.world ⁨4⁩ ⁨days⁩ ago

      Except they don’t like functional primitives like map unless they’re namespaced to iterable types…

      source
    • coherent_domain@infosec.pub ⁨4⁩ ⁨days⁩ ago

      Comprehension is functional programming too, they arise from list monad www.schoolofhaskell.com/…/13-the-list-monad And Haskell do notation indeed reads top-down, unlike Python, but I find both quite readable.

      source