this post was submitted on 12 Apr 2025
196 points (90.2% liked)

Technology

68991 readers
6469 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] jerkface@lemmy.ca 15 points 1 week ago (6 children)

Strongly disagree that not x implies to programmers that x is a bool.

[–] jj4211@lemmy.world 1 points 6 days ago

In context, one can consider it a bool.

Besides, I see c code all the time that treats pointers as bool for the purposes of an if statement. !pointer is very common and no one thinks that means pointer it's exclusively a Boolean concept.

Maybe, but that serves as a very valuable teaching opportunity about the concept of "empty" is in Python. It's pretty intuitive IMO, and it can make a lot of things more clear once you understand that.

That said, larger projects should be using type hints everywhere, and that should make the intention here painfully obvious:

def do_work(foo: list | None):
    if not foo:
        ... handle empty list ...
    ...

That's obviously not a boolean, but it's being treated as one. If the meaning there isn't obvious, then look it up/ask someone about Python semantics.

I'm generally not a fan of learning a ton of jargon/big frameworks to get the benefits of more productivity (e.g. many design patterns are a bit obtuse IMO), but learning language semantics that are used pretty much everywhere seems pretty reasonable to me. And it's a lot nicer than doing something like this everywhere:

if foo is None or len(foo) == 0:
[–] JustAnotherKay@lemmy.world 1 points 6 days ago (1 children)

Doesn't matter what it implies. The entire purpose of programming is to make it so a human doesn't have to go do something manually.

not x tells me I need to go manually check what type x is in Python.

len(x) == 0 tells me that it's being type-checked automatically

That's just not true:

  • not x - has an empty value (None, False, [], {}, etc)
  • len(x) == 0 - has a length (list, dict, tuple, etc, or even a custom type implementing __len__)

You can probably assume it's iterable, but that's about it.

But why assume? You can easily just document the type with a type-hint:

def do_work(foo: list | None):
    if not foo:
        return
    ...
[–] taladar@sh.itjust.works 7 points 1 week ago

It does if you are used to sane languages instead of the implicit conversion nonsense C and the "dynamic" languages are doing

[–] iAvicenna@lemmy.world 6 points 1 week ago (3 children)

well it does not imply directly per se since you can "not" many things but I feel like my first assumption would be it is used in a bool context

[–] thebestaquaman@lemmy.world 8 points 1 week ago (2 children)

I would say it depends heavily on the language. In Python, it's very common that different objects have some kind of Boolean interpretation, so assuming that an object is a bool because it is used in a Boolean context is a bit silly.

[–] iAvicenna@lemmy.world 4 points 1 week ago* (last edited 1 week ago) (2 children)

Well fair enough but I still like the fact that len makes the aim and the object more transparent on a quick look through the code which is what I am trying to get at. The supporting argument on bools wasn't't very to the point I agree.

That being said is there an application of "not" on other classes which cannot be replaced by some other more transparent operator (I confess I only know the bool and length context)? I would rather have transparently named operators rather than having to remember what "not" does on ten different types. I like duck typing as much as the next person, but when it is so opaque (name-wise) as in the case of "not", I prefer alternatives.

For instance having open or read on different objects which does really read or open some data vs not some object god knows what it does I should memorise each case.

[–] jerkface@lemmy.ca 5 points 1 week ago* (last edited 1 week ago) (1 children)

Truthiness is so fundamental, in most languages, all values have a truthiness, whether they are bool or not. Even in C, int x = value(); if (!x) x_is_not_zero(); is valid and idiomatic.

I appreciate the point that calling a method gives more context cues and potentially aids readability, but in this case I feel like not is the python idiom people expect and reads just fine.

[–] iAvicenna@lemmy.world 2 points 1 week ago (1 children)

I don't know, it throws me off but perhaps because I always use len in this context. Is there any generally applicable practical reason why one would prefer "not" over len? Is it just compactness and being pythonic?

[–] jerkface@lemmy.ca 1 points 1 week ago* (last edited 1 week ago) (2 children)

It's very convenient not to have to remember a bunch of different means/methods for performing the same conceptual operation. You might call len(x) == 0 on a list, but next time it's a dict. Time after that it's a complex number. The next time it's an instance. not works in all cases.

dict

len also works on a dict.

The point stands. If you want to check if a value is "empty," use the check for whether it's "empty." In Python, that's not. If you care about different types of empty (e.g. None vs [] vs {}), then make those checks explicit. That reads a lot better than doing an explicit check where the more common "empty" check would be correct, and it also make it a lot more obvious when you're doing something special.

[–] iAvicenna@lemmy.world 2 points 1 week ago

I feel like that only serves the purpose up to the point that methods are not over reaching otherwise then it turns into remembering what a method does for a bunch of unrelated objects.

[–] thebestaquaman@lemmy.world 1 points 1 week ago (1 children)

I definitely agree that len is the preferred choice for checking the emptiness of an object, for the reasons you mention. I'm just pointing out that assuming a variable is a bool because it's used in a Boolean context is a bit silly, especially in Python or other languages where any object can have a truthiness value, and where this is commonly utilised.

[–] iAvicenna@lemmy.world 1 points 1 week ago (1 children)

It is not "assume" as in a conscious "this is probably a bool I will assume so" but more like a slip of attention by someone who is more used to the bool context of not. Is "not integer" or "not list" really that commonly used that it is even comparable to its usage in bool context?

[–] thebestaquaman@lemmy.world 1 points 6 days ago* (last edited 6 days ago)

Then I absolutely understand you :)

How common it is 100 % depends on the code base and what practices are preferred. In Python code bases where I have a word in decisions, all Boolean checks should be x is True or x is False if x should be a Boolean. In that sense, if I read if x or if not x, it's an indicator that x does not need to be a Boolean.

In that sense, I could say that my preference is to flip it (in Python): Explicitly indicate/check for a Boolean if you expect/need a Boolean, otherwise use a "truethiness" check.

[–] Glitchvid@lemmy.world 2 points 1 week ago

if not x then … end is very common in Lua for similar purposes, very rarely do you see hard nil comparisons or calls to typeof (last time I did was for a serializer).

[–] catloaf@lemm.ee 3 points 1 week ago (2 children)

You can make that assumption at your own peril.

[–] WhyJiffie@sh.itjust.works 4 points 1 week ago

I don't think they are a minority

[–] iAvicenna@lemmy.world 3 points 1 week ago

If anything len tells you that it is a sequence or a collection, "not" does not tell you that. That I feel like is the main point of my objection.

[–] acosmichippo@lemmy.world 1 points 1 week ago* (last edited 1 week ago)

i haven’t programmed since college 15 years ago and even i know that 0 == false for non bool variables. what kind of professional programmers wouldn’t know that?