Re:Astral – "We're building a new static type checker for Py...
by intalentive on Wednesday January 29, 2025 @03:40PM
(#42870868)
I would use a statically-typed Python that you can compile into a binary for better performance. Step 1: Develop fast in regular Python. Step 2: Add type annotations and build.
[ Parent
| on HN ]
Re:Astral – "We're building a new static type checker for Py...
by alias301 on Wednesday January 29, 2025 @03:46PM
(#42870939)
You're in luck!
Re:Astral – "We're building a new static type checker for Py...
by Havoc on Wednesday January 29, 2025 @07:50PM
(#42873458)
Wow those are pretty chunky improvements over vanilla
Re:Astral – "We're building a new static type checker for Py...
by wk_end on Wednesday January 29, 2025 @08:19PM
(#42873668)
AFAICT this is dead (no updates in four years) and "alpha software...only recommended for production use cases with careful testing, and if you are willing to contribute fixes or to work around issues you will encounter." Unfortunate, because it's pretty cool.
Re:Astral – "We're building a new static type checker for Py...
by iso8859-1 on Wednesday January 29, 2025 @11:47PM
(#42874955)
the repo says the code is in the mypy repo and it looks like it is maintained in there. so I think it has had updates the last four years?
Re:Astral – "We're building a new static type checker for Py...
by Redoubts on Thursday January 30, 2025 @02:41PM
(#42881377)
Yeah, mypy uses it themselves for their releases. I think they get 5x speedups empirically
Re:Astral – "We're building a new static type checker for Py...
by fuzztester on Wednesday January 29, 2025 @03:56PM
(#42871047)
Mojo from Modular?
I've not checked it out enough yet, and it's early days for it anyway.
Just saying it may be worth keeping an eye on.
I've seen some videos of Chris Lattner talking about it.
Re:Astral – "We're building a new static type checker for Py...
by pbronez on Wednesday January 29, 2025 @04:51PM
(#42871684)
Looks interesting. Their “magic” package manager scares me though. Not excited to curl | bash something with strong opinions about my local python setup
curl -ssL https://magic.modular.com/deb11637-c8c3-4f76-9195-85af25ef2e... | bash
Re:Astral – "We're building a new static type checker for Py...
by fuzztester on Thursday January 30, 2025 @05:25PM
(#42882789)
I wonder why many groups are doing the "curl pipe to bash" thing these days.
I have been seeing this pattern for some years now, and also seen criticism of it.
do they not care about security, or is it not a security issue? conditionally or unconditionally, that is?