|5 days ago||7 days ago|
|MIT License||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.
Statically typed Python
7 projects | reddit.com/r/Python | 30 Nov 2021
Facebook/Instagram uses Pyre which is a typechecker for Python.
facebook/pyre-check - Performant type-checking for python.
1 project | reddit.com/r/GithubSecurityTools | 16 Oct 2021
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
2 projects | news.ycombinator.com | 23 Aug 2021
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).2 projects | news.ycombinator.com | 23 Aug 2021
I must be doing something wrong.
Write better Python - with some help!
7 projects | dev.to | 3 Aug 2021
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.
3 projects | reddit.com/r/rust | 30 Jun 2021
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
1 project | reddit.com/r/patient_hackernews | 10 May 20211 project | reddit.com/r/hackernews | 10 May 20216 projects | news.ycombinator.com | 10 May 2021
Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
4 projects | news.ycombinator.com | 21 Mar 2021
What type hint should I use for "some container type" in general but explicitly exclude the str type?
2 projects | reddit.com/r/learnpython | 13 Jan 2022
See https://github.com/python/typing/issues/256 for a discussion.
Type annotations: how to express list contravariance?
1 project | reddit.com/r/learnpython | 8 Nov 2021
Lower bounds are not supported for TypeVars, unfortunately.
I use attrs instead of pydantic
5 projects | news.ycombinator.com | 26 Aug 2021
Mypy allows that because initial versions of PEP-484 allowed that. This has changed; here's the current wording on the PEP:
> This is no longer the recommended behavior. Type checkers should move towards requiring the optional type to be made explicit.
Can I walk through the entire hierarchy of object types?
2 projects | reddit.com/r/learnpython | 12 Aug 2021
Dunno, other, larger projects than the one I'm working on seem to run up against this from time to time. (rasa_core, to pick one example from near the top of a Google search; also Telethon, Blender, TensorFlow, Pandas. Guido also filed a bug on the typing module in an early version of Python 3.5 because of unexpected implications of this particular issue, so the problem isn't exactly purely theoretical.) That's aside from the wish for conceptual purity in the call signatures of classes and their subclasses, which is not always and automatically a bad wish to have; and the notion that a language that prides itself on its introspective faculties might want to make introspection of classes from the top of a class hierarchy possible, at least in theory? Perhaps to facility learning about the language and/or visualizing large class hierarchies easily, for instance?
The most dangerous problem in mathematics
1 project | reddit.com/r/Chodi | 5 Aug 2021
Yeah it's called Type Hinting
Principles of Programming Languages - Robert Harper
4 projects | reddit.com/r/haskell | 29 Jul 2021
How do you define Python? If you include PEP 484 in your definition, surely it must be 'statically typed', otherwise there would be no need for these terms.
Type4Py: Machine Learning-based Type Auto-completion for Python
4 projects | reddit.com/r/madeinpython | 23 Jul 2021
Since Python 3.5 (PEP-484), developers can add type annotations to their code. Python's optional static typing improves code comprehension, code completion, program analysis, and more. However, retrofitting type annotations can be a laborious and time-consuming task.
Documentando código Python com Type Hints
1 project | dev.to | 8 Jul 2021
Include dataclass inside it self?
1 project | reddit.com/r/learnpython | 7 Jun 2021
Why Generics? What is the point of it?
2 projects | reddit.com/r/learnjava | 4 Jun 2021
You might be interested in looking at PEP 484 (Type Hints https://www.python.org/dev/peps/pep-0484/) and PEP 483 (The Theory of Type Hints https://www.python.org/dev/peps/pep-0483/).
What are some alternatives?
mypy - Optional static typing for Python
pytype - A static type analyzer for Python code
typeshed - Collection of library stubs for Python, with static types
pyright - Static type checker for Python
fp-ts - Functional programming in TypeScript
intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform
mamba - The Fast Cross-Platform Package Manager
psst - Fast and multi-platform Spotify client with native GUI
librespot - Open Source Spotify client library
isort - A Python utility / library to sort imports.