SaaSHub helps you find the best software and product alternatives Learn more →
Python Static Type Checker Projects
-
Project mention: It's Time for a Change: Datetime.utcnow() Is Now Deprecated | news.ycombinator.com | 2023-11-19
It's funny you should say this.
Reading this article prompted me to future-proof a program I maintain for fun that deals with time; it had one use of utcnow, which I fixed.
And then I tripped over a runtime type problem in an unrelated area of the code, despite the code being green under "mypy --strict". (and "100% coverage" from tests, except this particular exception only occured in a "# pragma: no-cover" codepath so it wasn't actually covered)
It turns out that because of some core decisions about how datetime objects work, `datetime.date.today() < datetime.datetime.now()` type-checks but gives a TypeError at runtime. Oops. (cause discussed at length in https://github.com/python/mypy/issues/9015 but without action for 3 years)
One solution is apparently to use `datetype` for type annotations (while continuing to use `datetime` objects at runtime): https://github.com/glyph/DateType
-
InfluxDB
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Python Static Type Checker related posts
- It's Time for a Change: Datetime.utcnow() Is Now Deprecated
- What's New in Python 3.12
- Ask HN: Why are all of the best back end web frameworks dynamically typed?
- Extend Python VENV: Organize Dependencies Your Way
- Mypy is a useless product. Please remove this trash from public use. We don't need it.
- which backend technology do you see having the brightest future? (for jobs)
- CS176a and Research Advice
-
A note from our sponsor - #<SponsorshipServiceOld:0x00007f0fa17c2ba0>
www.saashub.com | 3 Dec 2023
Index
Project | Stars | |
---|---|---|
1 | mypy | 16,822 |