sobolevn
sobolevn
and https://github.com/typeddjango/django-stubs/pull/1986
Thanks a lot! I will check it out!
By the way, check out today's announcement on the HKTs I am working on right now: https://mail.python.org/archives/list/[email protected]/thread/6VJNIMYULSLU5F5CB2GU7Z5NIF5XDKF7/
This one looks cool: https://simonwillison.net/2020/Jul/10/self-updating-profile-readme/
I invite you to collaborate on this one, if you wish. Check out this task for example: https://github.com/dry-python/returns/issues/466
+1 to this. `json` is totally required. We use `json` formats for all our internal tools to collect and analyze statics. Currently this feature is a dealbreaker for me. I...
> you'll notice mention of dry-python/returns at @hauntsaninja yeah, this was a pleasant surprise! 🙂 > I think one (possibly overkill) way of doing this is if we can get...
Yes, it works after a quick experiment: ``` » /tmp/mypy_primer/projects/_returns_venv/bin/pip install /tmp/mypy_primer/old_mypy/mypy_master ... Successfully installed mypy-0.820+dev.a503132749eb179eec8d1e97f6b8e372daab6ce7 » /tmp/mypy_primer/projects/_returns_venv/bin/mypy returns/returns --ignore-missing-imports Success: no issues found in 112 source files ```
Maybe we can add something like ``` [mypy_primer] build_command = 'make && make install' # possibly `remove_command` as well ``` to plugins' `mypy.ini` / `setup.cfg` / `pyproject.toml`? This will just...
That's exactly the point of this issue: to make `django-stubs` and pyright compatible.