|5 days ago||6 days ago|
|GNU General Public License v3.0 or later||GNU General Public License v3.0 or later|
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.
mypy alternatives - pytype and pyright
3 projects | 30 Oct 2021
another library to check typing in python code (by google)
Type Checkers: which one you use and why?
2 projects | reddit.com/r/Python | 18 Aug 2021
The main ones I can think about are: * mypy * pytype * pyright
Why Julia's multiple dispatch is so greated explained with Pokemons
2 projects | news.ycombinator.com | 20 Jul 2021
i am perhaps biased, since my day job is working on static type inference for python, but i genuinely do believe that encoding properties like this into the type system gives you not just an extra level of safety, but an extra level of expressiveness when modelling your data in code. it's the equivalent of having units in physics.
I made Pytago, a script that transpiles some Python into human-readable Go.
5 projects | reddit.com/r/Python | 24 Jun 2021
- Better static type analysis. I'm considering using https://github.com/google/pytype but it will remove the ability for this project to run on Windows. That may not be such a bad thing, though. I plan on creating a free web version for people who just want to use it.
Reddit, what advice would you give to a CS grad into their first job as a Python Developer?
1 project | reddit.com/r/AskReddit | 19 Jun 2021
Try using this: https://google.github.io/pytype/ ....but you'll probably hate it; but try anyway.
Is Python a viable solution for enterprise web projects? Where does (pardon the wording) the fetish come from?
1 project | reddit.com/r/webdev | 17 Jun 2021
Personally, I'm not a fan of Python because it's not a statically-typed language (although there are tools for that) and, unless you have very strong coding guidelines in place, projects tend to grow disorderly very fast (but this is true of any project written in any language). I guess the Python programmers I've encountered so far just didn't care much about those two things.
Please don't fire me
1 project | reddit.com/r/ProgrammerHumor | 4 Jun 2021
https://github.com/google/pytype can surely be colloquially referred to as "compiling", and let me assure you, it's annoyingly slow.
Pyre: A performant type-checker for Python 3
6 projects | news.ycombinator.com | 10 May 2021
 https://github.com/google/pytype6 projects | news.ycombinator.com | 10 May 2021
No. I didn't expect it to be non-blaze/bazel tool friendly, but sounds like it is (aims to be at lest)?
It does seems to support the entire-directory parsing as well. That's nice! Let me give it a try next time. Thanks for the tip!
As a reminder to myself, here is the link to the doc: https://google.github.io/pytype/
This meme just made my day 🤣🤣
3 projects | reddit.com/r/ProgrammerHumor | 5 Mar 2021
pyee Release 9.0: Type Annotations, New APIs & More!
7 projects | dev.to | 17 Jan 2022
The most important change in v9 is type annotations, type-checked with pyright and tagged with a py.typed file so it (hopefully) works in mypy - if your type checker complains to you about missing stubs, please file an issue!! I really want this to work!
95% of problems once solved by metaclasses can be solved by __init_subclass__
4 projects | news.ycombinator.com | 5 Jan 2022
Piou - Build beautiful command-line interfaces with type validation
4 projects | reddit.com/r/Python | 29 Dec 2021
I use pyright in my project to handle the type checking and for now it does not complain.
How can I autofix/autoformat the lint errors of flake8 using black ?
2 projects | reddit.com/r/learnpython | 29 Dec 2021
I am using https://github.com/microsoft/pyright (Or yeah. I've monkey patched together some stuff to make it work with vim)
What's the best practice to validate parameter types at runtime in Python, with and without a third-party module?
3 projects | reddit.com/r/learnpython | 26 Dec 2021
Although I urge you to use type annotations and a static type checker (such as mypy and pyright) over runtime type checks.
Which python lsp is better?
4 projects | reddit.com/r/neovim | 18 Dec 2021
I found two python lsp i.e. [pyright](https://github.com/microsoft/pyright) and [python-lsp-server](https://github.com/python-lsp/python-lsp-server), which is better in every aspect of coding or using them both would be better?
Unable to set up pyright with python 3.10
1 project | reddit.com/r/emacs | 27 Nov 2021
That's interesting. https://github.com/Microsoft/pyright here they do say: For emacs users, you can install lsp-mode that includes lsp-pyright. To activate the pyright extension follow the instructions in the docs. And that made me believe that pyright would be included when installing lsp-mode.
nvim-cmp and adding function brackets + arguments
3 projects | reddit.com/r/neovim | 27 Nov 2021
It depends on the LSP you use. rust-analyzer, for instance, returns snippets that are expanded by nvim-cmp and hence brackets are inserted and you can jump over the arguments. pyright, on the other hand, does not support it.
Twelve Years of Go
6 projects | news.ycombinator.com | 10 Nov 2021
Thanks Microsoft for open-sourcing VS Code Server
6 projects | reddit.com/r/programming | 5 Nov 2021
now go checkout pyright which are the open-source guts powering pylance. from their readme
What are some alternatives?
pylance-release - Documentation and issues for Pylance
mypy - Optional static typing for Python
Poetry - Python dependency management and packaging made easy.
lsp-pyright - lsp-mode :heart: pyright
python-language-server - Microsoft Language Server for Python
coc-pyright - Pyright extension for coc.nvim
pyre-check - Performant type-checking for python.
conda - OS-agnostic, system-level binary package manager and ecosystem
jedi-language-server - A Python language server exclusively for Jedi. If Jedi supports it well, this language server should too.
miniforge - A conda-forge distribution.