[Python-Dev] Python startup time - daemon (original) (raw)
Guido van Rossum guido at python.org
Sat May 12 00:08:40 EDT 2018
- Previous message (by thread): [Python-Dev] Python startup time - daemon
- Next message (by thread): [Python-Dev] Process to remove a Python feature
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On Fri, May 11, 2018 at 11:57 PM, Barry Warsaw <barry at python.org> wrote:
On May 11, 2018, at 12:23, Guido van Rossum <guido at python.org> wrote: > > Indeed, we have an implementation of this specific to mypy.
Is there anything in mypy’s implementation that can be generalized into a library?
Not sure, here's the code: https://github.com/python/mypy/blob/master/mypy/dmypy.py https://github.com/python/mypy/blob/master/mypy/dmypy_server.py (also dmypy_util.py there)
-- --Guido van Rossum (python.org/~guido) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20180512/6c7147d2/attachment.html>
- Previous message (by thread): [Python-Dev] Python startup time - daemon
- Next message (by thread): [Python-Dev] Process to remove a Python feature
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]