pyre-check
psst
Our great sponsors
- ONLYOFFICE ONLYOFFICE Docs β document collaboration in your environment
- InfluxDB - Access the most powerful time series database as a service
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- SonarQube - Static code analysis for 29 languages.
pyre-check | psst | |
---|---|---|
19 | 41 | |
6,353 | 7,628 | |
1.1% | - | |
9.9 | 6.7 | |
7 days ago | 10 days ago | |
OCaml | Rust | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
pyre-check
- Writing Python like it's Rust
-
Buck2, a large scale build tool written in Rust by Meta, is now available
Internally we use Pyre for Python type checking: https://github.com/facebook/pyre-check
- Are there any sectors that use Haskell as a main programming language?
-
It is becoming difficult for me to be productive in Python
Before type hinting, work had intense rules and linters enforcing docstrings with types. Now, type hints and automatic pyre runs take care of all the heavy lifting.
-
Ruby 3.2βs YJIT is Production-Ready
Python now has an optional type system and if you add one of them such as mypy or pyre to your CI process and you can configure GitHub to refuse the pull request until types are added you can make it somewhat strongly typed.
If you have a preexisting codebase I believe the way you can convert it is to add the types that you know on commits and eventually you will have enough types that adding the missing ones should be easy. For the missing ones Any is a good choice.
https://pyre-check.org and https://github.com/python/mypy are popular.
-
Is there any other mainstream language (especially strongly typed compiled) whose type system is as powerful (or at least close) as Typescript? It's difficult to like other languages type system after using Typescript.
So to find things in a similar space, you need to look for languages with these sorts of constraints - so things like Sorbet for Ruby or pyright/pyre and you'll see similar and new ideas
-
Statically typed Python
Facebook/Instagram uses Pyre which is a typechecker for Python.
-
OCaml at Bloomberg 'we use OCaml to write DSLs and production services β'
I'd be curious if the pyre-check compilation is any faster for you either by removing the inlining optimization flag (the `-Oclassic` here https://github.com/facebook/pyre-check/blame/36243764ab81a82...) or whether there's a way to compile pyre-check to bytecode instead of the native compilation step (which unfortunately it looks like there's no easy way to modify pyre-check's build config to do so).
I must be doing something wrong.
-
Write better Python - with some help!
Some other good alternatives for type checking are Pyright (which is seen in VSCode via Microsofts PyLance plugin) and Pyre.
psst
-
Spotify-Qt
On the other hand, this Rust-based one called Psst looks awesome and works: https://github.com/jpochyla/psst
-
This is the best Linux has ever been. Truly.
Psst but currently very limited in features and have to build yourself.
-
Spot - a simple spotify CLI made in python
psst, https://github.com/jpochyla/psst
-
Flatpak Spotify vs Tab in Firefox browser
Would like to add that you can also use clients such as spotify-qt and Spotify TUI to control said "device". There's also Spot and psst that are standalone (librespot not required but no Connect functionality).
-
Rust audio library
You can also take a look at Psst. I use Symphonia for decoding and CPAL or CubeB for output. CubeB is a bit nicer.
-
Druid app for public transport data
Thereβs a Spotify client, psst, which has an Async widget (with a Promise state struct) that works very well for loading states etc. That project has a bunch of other tidbits and interesting patterns for Druid, I learned a ton from the code.
-
Advice for the next dozen Rust GUIs
Not that I'm in any way suggesting that you have to have to pursue this, but I'd suggest that not having this as a goal is why it hasn't happened. I've seen apps built with Druid (like https://github.com/jpochyla/psst) and they look great. But when I looked into the documentation, I was really struggling to get started. In contrast, libraries like Iced are quite limited in what they can do and are not as architecturally sound as Druid, but seem to have put more effort into the onboarding experience and documentation for beginners (see also: the effort that Rust itself puts into being beginner friendly, and how that has enabled it jump into the mainstream where other similar languages have remained niche).
-
What are your favorite Rust-powered Linux programs?
The Psst spotify player is just awesome.
- [MacOS Dev] How is it possible to create a fully desktop for MacOS without touching any swift/obj-c?
What are some alternatives?
mypy - Optional static typing for Python
pyright - Static Type Checker for Python
widevine-l3-guesser
pytype - A static type analyzer for Python code
typeshed - Collection of library stubs for Python, with static types
flake8
spot - Native Spotify client for the GNOME desktop
typing - Python static typing home. Hosts the documentation and a user help forum.
spotify-tui - Spotify for the terminal written in Rust π
serenity - The Serenity Operating System π
mamba - The Fast Cross-Platform Package Manager
algoneer - The Algoneer Python library.