algoneer
pyre-check
Our great sponsors
| algoneer | pyre-check | |
|---|---|---|
| 1 | 12 | |
| 11 | 5,997 | |
| - | 0.7% | |
| 0.0 | 10.0 | |
| over 1 year ago | 4 days ago | |
| Python | OCaml | |
| 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.
algoneer
-
Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
I gave a presentation on type checking at the EuroPython 2017 where I also investigated how many Python projects really use type checking, I present the results at the end (35 minutes in):
https://www.youtube.com/watch?v=vM2Zoy4Sxhk&t=2181s
My conclusion was that only a small fraction of projects really used them, there were a lot of projects that had type checks in their code but only in "homeopathic" doses.
I started using them for some of my Python projects as well (e.g https://github.com/algoneer/algoneer) and while I find them useful I think they're not as useful as a "real" type system in a fully typed language like Golang. Still, they're very useful for discovering simple mistakes that would only show up in unit testing otherwise.
You can also "misuse" them for other purposes, at the end of the presentation I e.g. show how you can implement software contracts with them. Of course this would wreck a type checker like mypy, so don't do that in your codebase. That's probably also one of my critiques as the annotation syntax can in principle be used for anything, but mypy and other tools are not able to deal with code that does that.
pyre-check
-
Statically typed Python
Facebook/Instagram uses Pyre which is a typechecker for Python.
- facebook/pyre-check - Performant type-checking 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
What are some alternatives?
mypy - Optional static typing for Python
pyright - Static type checker for Python
pytype - A static type analyzer for Python code
typeshed - Collection of library stubs for Python, with static types
ParlAI - A framework for training and evaluating AI models on a variety of openly available dialogue datasets.
flake8
typing - Python static typing home. Hosts the documentation and a user help forum.
isort - A Python utility / library to sort imports.
mamba - The Fast Cross-Platform Package Manager
psst - Fast and multi-platform Spotify client with native GUI
ncspot - Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.
librespot - Open Source Spotify client library