this post was submitted on 24 Sep 2024
87 points (92.2% liked)

Programming

21831 readers
313 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 2 years ago
MODERATORS
all 35 comments
sorted by: hot top controversial new old
[–] magic_lobster_party@fedia.io 29 points 10 months ago (2 children)

Looks like it’s JavaScript, but in Java I would prefer to use the Stream API, something like this:

return availableDrivers.stream()
    .filter(driver -> calculateDistance(rider, driver) < 5)
    .filter(driver -> isPreferredVehicle(rider, driver))
    .filter(driver -> meetsRiderPreferences(rider, driver))
    .findFirst()
    .orElse(null);

Then we have:

private boolean meetsRiderPreferences(Rider rider, Driver driver) {
    if (driver.rating >= 4.5) {
        if (rider.preferences.includes('Premium Driver')) {
              return driver.isPremiumDriver;
        } else {
              return true;
        }
    } else if (driver.rating >= 4.0) {
        return true;
    } else {
        return false;
    }
}

This increases the separation of concern in a neat way, and it becomes more clear what the for loop does at a glance (get the first driver satisfying a set of conditions). The more complicated logic is isolated in meetsRiderPreferences, which now only returns true or false. Reading the method is more about making a mental map of a truth table.

It’s also easy to expand the logic (add more filter conditions, sort the drivers based on rating and distance, break out meetsRiderPreferences into smaller methods, etc.).

Not sure how the equivalent in JavaScript would look like, but this is what I would do in Java.

[–] MagicShel@programming.dev 10 points 10 months ago* (last edited 10 months ago) (1 children)

I try to prefer .findAny() over .findFirst() because it will perform better in some cases (it will have to resolve whether there are other matches and which one is actually first before it can terminate - more relevant for parallel streams I think. findAny short circuits that) but otherwise I like the first. I'd probably go with some sort of composed predicate for the second, to be able to easily add new criteria. But I could be over engineering.

I mostly just posted because I think not enough people are aware of the reasons to use findAny as a default unless findFirst is needed.

[–] magic_lobster_party@fedia.io 8 points 10 months ago (1 children)

For me I have the habit of doing findFirst because determinism is important where I work. But I agree with you if determinism is not of importance.

[–] MagicShel@programming.dev 3 points 10 months ago

I would only note that for the vast majority of my experience these streams can only return up to a single match. Determinism isn't really preserved by findFirst, either, unless the sort order is set up that way.

Finding the first Jim Jones in a table is no more reliable that finding any Jim Jones. But finding PersonId 13579 is deterministic whether you findFirst or findAny.

Perhaps you work in a different domain where your experience is different.

[–] Kissaki@programming.dev 9 points 10 months ago* (last edited 10 months ago)

Using early returns and ternary conditional operator changes

private boolean meetsRiderPreferences(Rider rider, Driver driver) {
    if (driver.rating >= 4.5) {
        if (rider.preferences.includes('Premium Driver')) {
              return driver.isPremiumDriver;
        } else {
              return true;
        }
    } else if (driver.rating >= 4.0) {
        return true;
    } else {
        return false;
    }
}

to

private boolean meetsRiderPreferences(Rider rider, Driver driver) {
    if (driver.rating < 4.0) return false;
    if (driver.rating < 4.5) return true;

    return rider.preferences.includes('Premium Driver') ? driver.isPremiumDriver : true;
}

dunno if java has them, but in C# switch expressions could put more of a case focus on the cases

private boolean meetsRiderPreferences(Rider rider, Driver driver) {
    return driver.rating switch {
        < 4.0 => false,
        < 4.5 => true,
        _      => rider.preferences.includes('Premium Driver') ? driver.isPremiumDriver : true,
    };
}

or with a body expression

private boolean meetsRiderPreferences(Rider rider, Driver driver) => driver.rating switch {
    < 4.0 => false,
    < 4.5 => true,
    _      => rider.preferences.includes('Premium Driver') ? driver.isPremiumDriver : true,
};

The conditional has a true result so it can be converted to a simple bool condition as well.

private boolean meetsRiderPreferences(Rider rider, Driver driver) => driver.rating switch {
    < 4.0 => false,
    < 4.5 => true,
    _      => !rider.preferences.includes('Premium Driver') || driver.isPremiumDriver,
};
[–] arendjr@programming.dev 20 points 10 months ago (1 children)

While I can get behind most of the advice here, I don’t actually like the conditions array. The reason being that each condition function now needs additional conditions to make sure it doesn’t overlap with the other condition functions. This was much more elegantly handled by the else clauses, since adding another condition to the array has now become a puzzle to verify the conditions remain non-overlapping.

[–] BrianTheeBiscuiteer@lemmy.world 4 points 10 months ago

To each their own. Some won't like the repeating code and some won't like the distributed logic (i.e. you have to read every if and if-else statement to know when the else takes effect). I think the use of booleans like isDriverClose makes the repeated logic less messy and reduces inefficiency (if the compiler didn't optimize for you).

[–] Zexks@lemmy.world 17 points 10 months ago (2 children)

This doesn’t get rid of the if statements. It hides them.

[–] wewbull@feddit.uk 16 points 10 months ago (1 children)

It doesn't hide. It makes them happen first and, here's the important bit, closes their scope quickly.

[–] Zexks@lemmy.world 4 points 10 months ago

The scope is irrelevant it’s a single function class as presented. It was a single method that they broke out “to hide the ifs”. Then they just used compiler specialties to remove the word ‘if’ from the assignments. The comparisons are still there and depending on the execution path those constants may not be so constant during runtime.

[–] BrianTheeBiscuiteer@lemmy.world 3 points 10 months ago (1 children)

It has conditionals not but actual if statements. Not really different in functionality but a more consistent style.

[–] Zexks@lemmy.world 1 points 10 months ago (1 children)

They’re still ifs. They’ve just been lambda’d and assigned to constants.

[–] BrianTheeBiscuiteer@lemmy.world 3 points 10 months ago (1 children)

branching ≠ if ≠ conditional

They're all related but can't just be used interchangeably. "if" is a reserved keyword to indicate a specific syntax is expected. It's not the semantics the author was trying to change, it's the syntax, and the overall point is that you aren't always required to use the specific "if" syntax to write code just like you're not required to use "while" to achieve looping.

[–] Zexks@lemmy.world 0 points 10 months ago (1 children)

If you decompile that code you won’t get lambdas. You get ifs. Because that is how the hardware is build. Ifs/ands/Ors that is what computing is built on. Everything else is flavor.

[–] platypus_plumba@lemmy.world 1 points 10 months ago

The title of the post is "how to avoid if-else hell", not "how to avoid conditionals". Not sure what's your point.

[–] sebsch@discuss.tchncs.de 15 points 10 months ago* (last edited 10 months ago) (1 children)

Sometimes is it worth to rethink the problem. Especially when your condition is based on set-members. Using quantor logic often simplifies the condition :

return 
    any(x for x in X if x==condition_a) 
    or all(y for y in Y if y==condition_b) 
    and all(x for x in X if x==condition_c)

I am not sure if JS has something similar, but this often helps by a lot

[–] lupec@lemm.ee 4 points 10 months ago

I am not sure if JS has something similar, but this often helps by a lot

It does, the some/every array methods would achieve the same results. I use them quite often myself!

[–] ArbitraryValue@sh.itjust.works 9 points 10 months ago* (last edited 10 months ago)

My issue with this is that it works well with sample code but not as well with real-world situations where maintaining a state is important. What if rider.preferences was expensive to calculate?

Note that this code will ignore a rider's preferences if it finds a lower-rated driver before a higher-rated driver.

With that said, I often work on applications where even small improvements in performance are valuable, and that is far from universal in software development. (Generally developer time is much more expensive than CPU time.) I use C++ so I can read this like pseudocode but I'm not familiar with language features that might address my concerns.

[–] jbrains@sh.itjust.works 8 points 10 months ago* (last edited 10 months ago)

The fact that the loop is doing "find first driver matching these strange criteria" seems most obviously obscured by the pattern of assigning a value, then killing the loop or not. This strikes me as the part that makes the algorithm tedious to test, since it forces us to use a collection to test the intricacies of the inner conditions.

Once we isolate "find first driver matching condition" from computing the condition for each driver, I consider the rest a question of personal taste. Specification pattern, composition of filters, something like that. Whatever you find easier to follow.

[–] Carighan@lemmy.world 6 points 10 months ago

I love how this tries to sell making your code strictly worse as something positive.

Sigh. And it's still full of ifs.

[–] Ephera@lemmy.ml 1 points 10 months ago

This is called the Pyramid of Doom, by the way.

[–] z3rOR0ne@lemmy.ml -3 points 10 months ago (2 children)

As a Jr Developer, I found this very helpful. Thanks.

[–] HamsterRage@lemmy.ca 14 points 10 months ago

You might want to think about it a bit more before putting it to work. The comment with the streams example is far, far better.

[–] FizzyOrange@programming.dev 10 points 10 months ago

Yeah, honestly you should stick to if/else until you're really sure you want to do something more complex.