It reminds me of this 5 year old bug in mypy: "int is not a Number?" [1]. [1]: h... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ciupicri on April 21, 2022 \| parent \| context \| favorite \| on: Python’s “type hints” are a bit of a disappointmen... It reminds me of this 5 year old bug in mypy: "int is not a Number?" [1]. [1]: https://github.com/python/mypy/issues/3186

benatkin on April 21, 2022 [–]

It isn't really one though (a lot of reading):

https://stackoverflow.com/questions/69334475/how-to-hint-at-...

I would rather my type checker give me the truth than gloss over it. This issue should be kept open (it is) but they should wait until a good solution is found that doesn't gloss over the discrepancy.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact