this post was submitted on 14 May 2024
0 points (50.0% liked)

Programmer Humor

32184 readers
407 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 

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.

top 3 comments
sorted by: hot top controversial new old
[–] Telorand@reddthat.com 1 points 4 months ago* (last edited 4 months ago)

bool_ via Numpy is its own object, and it's fundamentally different from bool in Python (which is itself a subclass of int, whereas bool_ is not).

They are used similarly, but they're similar in the same way a fork and a spork can both be used to eat spaghetti.

[–] danielquinn@lemmy.ca 1 points 4 months ago* (last edited 4 months ago)

Honestly, after having served on a Very Large Project with Mypy everywhere, I can categorically say that I hate it. Types are great, type checking is great, but applying it to a language designed without types in mind is a recipe for pain.

[–] DmMacniel@feddit.de 0 points 4 months ago

Well yeah just because they kinda mean the same thing it doesn't mean that they are the same. I can wholly understand why they won't "fix" your inconvenience.