SaaSHub helps you find the best software and product alternatives Learn more →
Pyre-check Alternatives
Similar projects and alternatives to pyre-check
-
-
-
SonarQube
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
-
-
-
typing
Python static typing home. Hosts the documentation and a user help forum.
-
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
-
-
-
-
-
ncspot
Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.
-
-
-
-
Pandas
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
pyre-check reviews and mentions
-
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.
-
12 Months of Rust, 50k+ changed lines of code, 8 design iterations. The extent of writing an async ASGI web server in Rust for Python for a 10% performance increase.
Sorry if this is something that you’re already aware of but there already exists a Python-related project with the same name which may lead to confusion. https://pyre-check.org
- Pyre: A performant type-checker for Python 3
- Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
-
A note from our sponsor - #<SponsorshipServiceOld:0x00007f1610aad958>
www.saashub.com | 31 Mar 2023
Stats
facebook/pyre-check is an open source project licensed under MIT License which is an OSI approved license.