Explanation: Python is a programming language. Numpy is a library for python that makes it possible to run large computations much faster than in native python. In order to make that possible, it needs to keep its own set of data types that are different from python’s native datatypes, which means you now have two different bool types and two different sets of True and False. Lovely.

Mypy is a type checker for python (python supports static typing, but doesn’t actually enforce it). Mypy treats numpy’s bool_ and python’s native bool as incompatible types, leading to the asinine error message above. Mypy is “technically” correct, since they are two completely different classes. But in practice, there is little functional difference between bool and bool_. So you have to do dumb workarounds like declaring every bool values as bool | np.bool_ or casting bool_ down to bool. Ugh. Both numpy and mypy declared this issue a WONTFIX. Lovely.

  • fl42v@lemmy.ml
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    7 months ago

    Well, C has implicit casts, and it’s not that weird (although results in some interesting bugs in certain circumstances). Python is also funny from time to time, albeit due to different reasons (e.g. -5**2 is apparently -25 because of the order of operations)

    • Remavas
      link
      fedilink
      arrow-up
      7
      ·
      7 months ago

      I don’t see how your example is ‘funny’. That’s what you expect to get. -52 is -25. (-5)2 = 25.

      • fl42v@lemmy.ml
        link
        fedilink
        arrow-up
        1
        arrow-down
        1
        ·
        7 months ago

        And how’s that different from js’s "1" + 2? One can always convert a number to string, and only sometimes – a string to a number, so it’s pretty logical to go with the former.

      • fl42v@lemmy.ml
        link
        fedilink
        arrow-up
        1
        ·
        7 months ago

        Well, the link doesn’t load for me, so if that’s smth related to python and not a justification of the behavior from math’s pov, I know that’s expected. Hence,

        because of the order of operations

        But just as well is “1” + 2.